Refinement, conformance and inheritance

DOI10.1007/BF01898400zbMath0715.68056MaRDI QIDQ751843

Elspeth Cusack

Publication date: 1991

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

inheritanceobject-orientedprocess algebra CSP

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (2)

On simulation, subtyping and substitutability in sequential object systems ⋮ Inheritance of behavior

Uses Software

• Smalltalk
• LOTOS

Cites Work

• Specification styles in distributed systems design and verification
• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item

This page was built for publication: Refinement, conformance and inheritance