Object-Oriented Specification on LOTOS and Z, or My Cat Really is Object-Oriented!

Authors:
Elspeth Cusack;Michael Lai
Affiliations:
-;-
Venue:
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Year:
1990

Citing 0
Cited 3

Specifications and their use in defining subtypes

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)
Behavioural subtyping using invariants and constraints

Formal methods for distributed processing

Quantified Score

Hi-index	0.00

Visualization

Abstract