Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Y. Chu: Introducing CDL IEEE Computer, December 1974
2. E. W. Dijkstra: Guarded Commands, Nondeterminacy and Formal Derivation of Programs CACM vol, 18, No. 8 (1975)
3. K. Gröning: Zur Darstellung und Simulation von Interrupts in parallelen Systemen durch Petri-Netze Diplomarbeit, Abt. Informatik, Univ. Dortmund (1979)
4. C. A. R. Hoare: Monitors: An Operating Systems Structuring Concept CACM Vol. 17, No. 10 (1974)
5. O. Herzog & M. Yoeli: Control Nets for Asynchronous Systems, Part 1 Technion Haifa, Dept. of Computer Science, Techn. Report 74 (1976)