ZB 2005: Formal Specification and Development in Z and B

DOI10.1007/B135596zbMath1118.68543OpenAlexW2916183516MaRDI QIDQ5703820

Stacey Conroy, Steve Dunne

Publication date: 10 November 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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)

Data refinement and singleton failures refinement are not equivalent ⋮ General Refinement, Part One: Interfaces, Determinism and Special Refinement ⋮ Contexts, refinement and determinism ⋮ Relational concurrent refinement. II: Internal operations and outputs

This page was built for publication: ZB 2005: Formal Specification and Development in Z and B