Building a real-time kernel: First steps in validating a pure process/ADT model
- 1 April 1991
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 21 (4), 337-354
- https://doi.org/10.1002/spe.4380210402
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-2Published by Springer Nature ,1983
- Experience with processes and monitors in MesaCommunications of the ACM, 1980
- Toward a discipline of real-time programmingCommunications of the ACM, 1977