Formal Specification and Prototyping of CORBA Systems
No abstract available.
DOI 10.1007/3-540-48743-3_22
Related papers
- Formal specification of CORBA services: experience and lessons learned OOPSLA 2000
- Process Algebraic Specification of the New Asynchronous CORBA Messaging Service ECOOP 1999
- Lessons Learned from Implementing the CORBA Persistent Object Service OOPSLA 1996
- The Design and Performance of a Hard Real-Time Object Event Service OOPSLA 1997
- Portable serialization of CORBA objects: a reflective approach OOPSLA 2002
- System Support for Object Groups OOPSLA 1998
- Inheritance-Inspired Interface Versioning for CORBA ECOOP 2004
- Compiler prototyping using formal semantics PLDI 1984