Proving monitors
From MaRDI portal
Publication:4085227
DOI10.1145/360051.360079zbMATH Open0322.68016OpenAlexW2340595401MaRDI QIDQ4085227FDOQ4085227
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
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)
