Proving monitors

DOI10.1145/360051.360079MaRDI QIDQ4085227zbMATH OpenOpenAlexFDO

Authors John H. Jun. Howard

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Formal languages and automata (68Q45) Algorithms in computer science (68W99)

Cited in

(7)

• General purpose schedulers for database systems
• Compile time preparations for run time scheduling in monitors
• Semantics and verification of monitors and systems of monitors and processes
• Monitors with arrays of condition variables and proof rules handling local quantities
• Towards a language for concurrent processes
• Methods and means of parallel processing of information
• Monitors with associated processors

This page was built for publication: Proving monitors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4085227)