Monitors with arrays of condition variables and proof rules handling local quantities
From MaRDI portal
Publication:3865461
DOI10.1007/BF01933186zbMath0428.68043OpenAlexW2003362696MaRDI QIDQ3865461
Publication date: 1980
Published in: BIT (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01933186
synchronizationalarmclockarrays of condition variablesdisk head schedularproof rules for signal and wait operations
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Abstract data types; algebraic specification (68Q65)
Cites Work