Process Algebraic Specification of the New Asynchronous CORBA Messaging Service.

Mauro Gaspari, Gianluigi Zavattaro

Browse the full ECOOP paper archive.