Proving monitors
From MaRDI portal
Publication:4085227
DOI10.1145/360051.360079zbMath0322.68016OpenAlexW2340595401MaRDI QIDQ4085227
Publication date: 1976
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/360051.360079
Formal languages and automata (68Q45) General topics in the theory of software (68N01) Algorithms in computer science (68W99)
Related Items (7)
Semantics and verification of monitors and systems of monitors and processes ⋮ General purpose schedulers for database systems ⋮ Methods and means of parallel processing of information ⋮ Monitors with associated processors ⋮ Monitors with arrays of condition variables and proof rules handling local quantities ⋮ Compile time preparations for run time scheduling in monitors ⋮ Towards a language for concurrent processes
This page was built for publication: Proving monitors
