The design of Edison
- 1 April 1981
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 11 (4) , 363-396
- https://doi.org/10.1002/spe.4380110404
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Edison—a multiprocessor languageSoftware: Practice and Experience, 1981
- Ambiguities and insecurities in pascalSoftware: Practice and Experience, 1977
- An axiomatic proof technique for parallel programs IActa Informatica, 1976
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- MonitorsCommunications of the ACM, 1974
- Critical comments on the programming language PascalActa Informatica, 1973
- Structured multiprogrammingCommunications of the ACM, 1972
- The programming language pascalActa Informatica, 1971
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970
- The remaining trouble spots in ALGOL 60Communications of the ACM, 1967