Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Brinch Hansen P., Operating Systems Principles, Prentence Hall, Inc., New Jersay, 1973.
2. Cambell R.H., Habermman A.H., The Specification of Process Synchronization by Path Expressions, Lecture Notes in Computer Science, vol. 16, Springer-Verlag, 1974, 89–102.
3. Dijkstra E.W., Cooperating Sequential Processes, In: F. Genuys (ed.), Programming Languages, Academic Press, New York, 1968.
4. Janicki R., Synthesis of Concurrent Schemes, Lecture Notes in Computer Science, vol.64, Springer-Verlag, 1978, 298–307.
5. Janicki R., An Algebraic Structure of Petri Nets, ibid.,, vol. 83, 1980, 177–192.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A method for developing concurrent systems;Lecture Notes in Computer Science;1984