A modula based language supporting hierarchical development and verification
- 1 March 1981
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 11 (3) , 237-255
- https://doi.org/10.1002/spe.4380110304
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Experience Using Multiprocessor Systems—A Status ReportACM Computing Surveys, 1980
- Experience with processes and monitors in MesaCommunications of the ACM, 1980
- Toward a discipline of real-time programmingCommunications of the ACM, 1977
- An alternative to event queues for synchronization in monitorsCommunications of the ACM, 1977
- Design and implementation of modulaSoftware: Practice and Experience, 1977
- The use of modulaSoftware: Practice and Experience, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- The programming language Concurrent PascalIEEE Transactions on Software Engineering, 1975
- MonitorsCommunications of the ACM, 1974
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968