1. Ankolekar, A., Bursten, M., Hobbs, J., Lassila, O., Martin, D., McIlraith, S., Narayanan, S., Paolucci, N., Payne, T., Sycara, K., Zeng, H.: DAML-S: Semantic Markup for Web Services. In: International Semantic Web Working Symposium (2001)
2. Cambridge Tracts in Theoretical Computer Science;J.C.M. Baeten,1990
3. Berners-Lee, T., Brickley, D., Connolly, D., Dean, M., Decker, S., Fensel, D., Fikes, R., Hayes, P., Heflin, J., Hendler, J., Lassila, O., McGuinness, D., Stein, L.A.: DAML+OIL (2001),
http://www.daml.org/2001/03/daml+oil-index
4. Boudol, G.: Asynchrony and the π-calculus. Technical Report 1702, INRIA, Sophia– Antipolis (1992)
5. Lecture Notes in Computer Science;R. Bruni,2002