Specification and (property) inheritance in CSP-OZ
From MaRDI portal
Publication:1776587
DOI10.1016/J.SCICO.2004.05.017zbMath1075.68051OpenAlexW2119402699MaRDI QIDQ1776587
Heike Wehrheim, Ernst-Ruediger Olderog
Publication date: 12 May 2005
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2004.05.017
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (4)
Integrating a formal method into a software engineering process with UML and Java ⋮ Refinement and verification in component-based model-driven design ⋮ The behavioural semantics of Event-B refinement ⋮ Testing for refinement in \textsf{Circus}
Uses Software
This page was built for publication: Specification and (property) inheritance in CSP-OZ