Formal model of concurrency for distributed object-oriented systems
- Barrio, Manuel
- de la Fuente, Pablo
Proceedings:
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
Year of publication: 1997
Pages: 466-474
Type: Conference paper