Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
Abstract elided by the publisher.
Related papers
- The Design and Performance of a Hard Real-Time Object Event Service OOPSLA 1997
- System Support for Object Groups OOPSLA 1998
- Formal specification of CORBA services: experience and lessons learned OOPSLA 2000
- Lessons Learned from Implementing the CORBA Persistent Object Service OOPSLA 1996
- ECCS and LIPS: Two Languages for OSI Systems Specification and Verification TOPLAS 1989
- Portable serialization of CORBA objects: a reflective approach OOPSLA 2002
- Synchronization of Asynchronous Processes in CSP TOPLAS 1989
- Formal Specification and Prototyping of CORBA Systems ECOOP 1999