Specifying and refining internal operations in \(Z\)

DOI10.1007/S001650050007zbMath0912.68133OpenAlexW2084161330MaRDI QIDQ1272761

John Derrick, Howard Bowman, Maarten van Steen, Eerke A. Boiten

Publication date: 9 March 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050007

zbMATH Keywords

specification of distributed systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Modelling Divergence in Relational Concurrent Refinement ⋮ Introducing extra operations in refinement ⋮ Relational concurrent refinement. II: Internal operations and outputs ⋮ Understanding, Explaining, and Deriving Refinement

This page was built for publication: Specifying and refining internal operations in \(Z\)