Preview
Unable to display preview. Download preview PDF.
References
Brinch Hansen, P., A Comparison of Two Synchronizing Concepts, Acta Informatica, Vol. 1, 1972, 190–199.
Dijkstra, E.W., Cooperating Sequential Processes, in Programming Languages, ed. by F. Genuys, Academic Press, London and New York, 1968.
Hoare, C.A.R., Parallel Programming: an Axiomatic Approach, Stanford Artificial Intelligence Laboratory, Memo AIM-219, October 1973.
Mazurkiewicz, A., Parallel Recursive Program Schemes, Lecture Notes 32, Springer Verlag, 1975.
Mazurkiewicz, A., Invariants of Concurrent Programs, Proc.Conf. INFOPOL-1976, Warsaw, 1976.
Mazurkiewicz, A., On Concurrent Processes, to appear.
Pawlak, Z., Fundamentals for Computer Science, Proc.Symp. MFCS-72, Warsaw-Jabłonna, 1972.
Petri, C.A., Concepts of Net Theory, Proc.Symp. MFCS-73, High Tatras, 1973.
Winkowski, J., On Sequential Modelling of Non-Sequential Processes, this issue.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kwasowiec, W. (1976). Determinism in concurrent systems. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_207
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_207
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive