Object-Z

• 1 January 1992
• book chapter
• Published by Springer Nature
• p. 59-77
• https://doi.org/10.1007/978-1-4471-3552-4_6

Abstract

Keywords

• ACTION SEQUENCE
• PARALLEL OPERATOR
• STATE SCHEMA
• OBJECT REFERENCE
• OPERATION SCHEMA