A fully abstract semantics of classes for Object-Z

Smith G. (1995) A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing, 7 3: 289-313. doi:10.1007/BF01211075


Author Smith G.
Title A fully abstract semantics of classes for Object-Z
Journal name Formal Aspects of Computing   Check publisher's open access policy
ISSN 0934-5043
Publication date 1995-01-01
Sub-type Article (original research)
DOI 10.1007/BF01211075
Volume 7
Issue 3
Start page 289
End page 313
Total pages 25
Publisher Springer-Verlag
Subject 1712 Software
Abstract This paper presents a fully abstract semantics of classes for the object oriented formal specification language Object-Z. Such a semantics includes no unnecessary syntactic details and, hence, describes a class in terms of the external behaviour of its objects only. The semantics, based on an extension of existing process models, defines a notion of behavioural equivalence which is stronger than that of CSP and weaker than that of CCS.
Keyword Full abstraction
Object orientation
Object-Z
Semantics
Q-Index Code C1
Institutional Status Unknown

Document type: Journal Article
Sub-type: Article (original research)
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 41 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 06 Sep 2016, 11:06:43 EST by System User