Mauro Gaspari, Gianluigi Zavattaro. Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. In Rachid Guerraoui, editor, ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1628 of Lecture Notes in Computer Science, pages 495-518, Springer, 1999. [doi]
Abstract is missing.