Specification and design of shared resource arbitration
From MaRDI portal
Publication:1186094
DOI10.1007/BF01407930zbMath0741.68034MaRDI QIDQ1186094
Thomas Streicher, Manfred Broy
Publication date: 28 June 1992
Published in: International Journal of Parallel Programming (Search for Journal in Brave)
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N99: Theory of software
Related Items
Uses Software
Cites Work