On simulation, subtyping and substitutability in sequential object systems
From MaRDI portal
Publication:1906038
DOI10.1007/BF01210998zbMath0841.68033MaRDI QIDQ1906038
Publication date: 14 July 1996
Published in: Formal Aspects of Computing (Search for Journal in Brave)
68N99: Theory of software
Related Items
Uses Software
Cites Work
- Refinement, conformance and inheritance
- Extensional equivalences for transition systems
- A semantics of multiple inheritance
- A calculus of mobile processes. II
- Ten Years of Hoare's Logic: A Survey—Part I
- An axiomatic basis for computer programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item