Preview
Unable to display preview. Download preview PDF.
References
Brinch Hansen P., Operating Systems Principles, Prentence Hall, Inc., New Jersay, 1973.
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.
Dijkstra E.W., Cooperating Sequential Processes, In: F. Genuys (ed.), Programming Languages, Academic Press, New York, 1968.
Janicki R., Synthesis of Concurrent Schemes, Lecture Notes in Computer Science, vol.64, Springer-Verlag, 1978, 298–307.
Janicki R., An Algebraic Structure of Petri Nets, ibid.,, vol. 83, 1980, 177–192.
Janicki R., On Atomic Nets and Concurrency Relations, ibid., vol. 88, 1980, 320–333.
Janicki R., On the Design of concurrent Systems, Proc. of the 2nd International Conference on Distributed Computing Systems, IEEE Comp. Society Press, Maryland, 1981.
Mazurkiewicz A., Concurrent Program Schemes and Their Interpretations, DAIMI PB-78, Aarhus Univ. Publ., 1977.
Petri C.A., Concepts of Net Theory, Mathematical Foundations of Computer Science '73, Math. Institute of the Slovak Academy of Sciences, 1973.
Petri C.A., Concurrency as a Basis of Systems Thinking, Proc. of the 5th Scandinavian Logic Symposium, Aalborg Universitetsforlag, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Janicki, R. (1981). A construction of concurrent systems by means of sequential solutions and concurrency relations. In: DÃaz, J., Ramos, I. (eds) Formalization of Programming Concepts. ICFPC 1981. Lecture Notes in Computer Science, vol 107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10699-5_108
Download citation
DOI: https://doi.org/10.1007/3-540-10699-5_108
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10699-9
Online ISBN: 978-3-540-38654-4
eBook Packages: Springer Book Archive