Formal model of concurrency for distributed object-oriented systems
Actas:
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Año de publicación: 1997
Páginas: 466-474
Tipo: Aportación congreso