The OSI Managed-Object Model
Abstract elided by the publisher.
Related papers
- ECCS and LIPS: Two Languages for OSI Systems Specification and Verification TOPLAS 1989
- A Reflective Model for First Class Dependencies OOPSLA 1995
- A mechanized semantics for C++ object construction and destruction, with applications to resource management POPL 2012
- The Management of Changing Types in an Object-Oriented Database OOPSLA 1986
- The Kala Basket: A Semantic Primitive Unifying Object Transactions, Access Control, Versions, and Configurations OOPSLA 1991
- Coherent Models for Object-Oriented Analysis OOPSLA 1991
- Abstract Interaction Tools: A Language for User Interface Management Systems TOPLAS 1988
- On Models for Object Lifetimes ISMM 2000