Arbiters: An exercise in specifying and decomposing asynchronously communicating components

DOI10.1016/0167-6423(92)90017-6zbMath0769.68004OpenAlexW2062098461MaRDI QIDQ1193741

Jo C. Ebergen

Publication date: 27 September 1992

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

Full work available at URL: https://doi.org/10.1016/0167-6423(92)90017-6

zbMATH Keywords

verificationdecompositionspecificationderivationsyntaxarbitersasynchronously communicating components

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (2)

A linear-time branching-time perspective on interface automata ⋮ Component refinement and CSC-solving for STG decomposition

This page was built for publication: Arbiters: An exercise in specifying and decomposing asynchronously communicating components