Stepwise refinement of communicating systems

DOI10.1016/0167-6423(96)81173-7zbMath0858.68037OpenAlexW1964482512WikidataQ59626081 ScholiaQ59626081MaRDI QIDQ1924630

Michael J. Butler

Publication date: 20 October 1996

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(96)81173-7

zbMATH Keywords

distributed computingaction system formalism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (3)

On the Purpose of Event-B Proof Obligations ⋮ The Composition of Event-B Models ⋮ On the purpose of Event-B proof obligations

This page was built for publication: Stepwise refinement of communicating systems