Proving monitors
From MaRDI portal
Publication:4085227
Cited in
(7)- Monitors with associated processors
- Towards a language for concurrent processes
- Monitors with arrays of condition variables and proof rules handling local quantities
- Compile time preparations for run time scheduling in monitors
- Methods and means of parallel processing of information
- Semantics and verification of monitors and systems of monitors and processes
- General purpose schedulers for database systems
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)