An axiomatic definition of synchronization primitives
From MaRDI portal
Publication:1157157
DOI10.1007/BF00261260zbMath0469.68037MaRDI QIDQ1157157
Publication date: 1981
Published in: Acta Informatica (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Theory of operating systems (68N25)
Related Items
Fair mutual exclusion with unfair P and V operations, Synchronous, asynchronous, and causally ordered communication, The sliding-window protocol revisited, The probe: An addition to communication primitives
