The nucleus of a multiprogramming system
From MaRDI portal
Cited in
(10)- Operating system verification---an overview
- Datalogy - the Copenhagen tradition of computer science
- Methods and means of parallel processing of information
- Job scheduling guaranteing reasonable turn-around times
- On the design and specification of message oriented programs
- Message passing between sequential processes: The reply primitive and the administrator concept
- Design of a small conversational system
- On the theory of macroeconomic quasi-equilibria
- Program control of operating systems
- Resources, concurrency, and local reasoning
This page was built for publication: The nucleus of a multiprogramming system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5585060)