1. ProActive,
http://www-sop.inria.fr/oasis/ProActive/
2. Achermann, F., Nierstrasz, O.: Applications = Components + Scripts – A Tour of Piccola. In: Aksit, M. (ed.) Software Architectures and Component Technology, pp. 261–292. Kluwer, Dordrecht (2001)
3. Agha, G.: Concurrent Object-Oriented Programming. Communication of the ACM 33(9), 125–141 (1990)
4. Lecture Notes in Computer Science;G. Agha,1985
5. Allemand, M., Royer, J.-C.: Mixed Formal Specification with PVS. In: Proceedings of the 15th IPDPS 2002 Symposium, FMPPTA. IEEE Computer Society, Los Alamitos (2002)