CSP-OZ [16,18] is a combination of Communicating Sequential Processes (CSP) and Object-Z (OZ). It enables the specification of systems having both a state-based and a behaviour-oriented view using the object-oriented concepts of classes, instantiation and inheritance. CSP-OZ has a process semantics in the failures divergence model of CSP. In this paper we explain CSP-OZ and investigate the notion of inheritance. Behavioural subtyping relations between classes introduced in [50] guarantee the inheritance of safety and "liveness" properties. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Olderog, E. R., & Wehrheim, H. (2003). Specification and inheritance in CSP-OZ. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2852, 361–379. https://doi.org/10.1007/978-3-540-39656-7_15
Mendeley helps you to discover research relevant for your work.