Supersystem Programming with Model
- 1 February 1986
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 19 (2) , 50-60
- https://doi.org/10.1109/mc.1986.1663149
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- The Unix System and Software ReusabilityIEEE Transactions on Software Engineering, 1984
- Automatic program generation in distributed cooperative computationIEEE Transactions on Systems, Man, and Cybernetics, 1984
- The operational versus the conventional approach to software developmentCommunications of the ACM, 1984
- A general-purpose algorithm for analyzing concurrent programsCommunications of the ACM, 1983
- Programming with EquationsACM Transactions on Programming Languages and Systems, 1982
- Edison—a multiprocessor languageSoftware: Practice and Experience, 1981
- ESP3: A Language for Pattern Description and a System for Pattern RecognitionIEEE Transactions on Software Engineering, 1977
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972
- System DeadlocksACM Computing Surveys, 1971
- Comments on prevention of system deadlocksCommunications of the ACM, 1971