ZB 2005: Formal Specification and Development in Z and B

DOI10.1007/B135596zbMath1118.68537OpenAlexW2916183516MaRDI QIDQ5703822

J. Christian Attiogbé

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

zbMATH Keywords

RefinementMutual ExclusionEvent BParallel Composition

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)

Uses Software

• Atelier B

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