1. Lecture Notes in Computer Science;A. Ankolekar,2002
2. Software Engineering Notes;L. Alfaro de,2001
3. Martin, D., et al.: OWL-S: Semantic markup for web services (2004),
http://www.daml.org/services/owl-s/1.1/overview/
4. Hennessy, M., Regan, T.: A process algebra for timed systems. Information and Computation 117(2), 221–239 (1995)
5. Milner, A.J.R.G.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)