Building a real-time kernel: First steps in validating a pure process/ADT model
Authors:
- 1 April 1991
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 21 (4) , 337-354
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Reasoning about time in higher-level language softwareIEEE Transactions on Software Engineering, 1989
- The Modular Structure of Complex SystemsIEEE Transactions on Software Engineering, 1985
- Hints for computer system designACM SIGOPS Operating Systems Review, 1983
- Programming in Modula-21983
- Experience with processes and monitors in MesaCommunications of the ACM, 1980
- Toward a discipline of real-time programmingCommunications of the ACM, 1977