Determinism in concurrent systems

  • Włodzimierz Kwasowiec
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Concurrent Program Concurrent System Control Framework Arbitrary Object Recursive Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Brinch Hansen, P., A Comparison of Two Synchronizing Concepts, Acta Informatica, Vol. 1, 1972, 190–199.CrossRefGoogle Scholar
  2. [2]
    Dijkstra, E.W., Cooperating Sequential Processes, in Programming Languages, ed. by F. Genuys, Academic Press, London and New York, 1968.Google Scholar
  3. [3]
    Hoare, C.A.R., Parallel Programming: an Axiomatic Approach, Stanford Artificial Intelligence Laboratory, Memo AIM-219, October 1973.Google Scholar
  4. [4]
    Mazurkiewicz, A., Parallel Recursive Program Schemes, Lecture Notes 32, Springer Verlag, 1975.Google Scholar
  5. [5]
    Mazurkiewicz, A., Invariants of Concurrent Programs, Proc.Conf. INFOPOL-1976, Warsaw, 1976.Google Scholar
  6. [6]
    Mazurkiewicz, A., On Concurrent Processes, to appear.Google Scholar
  7. [7]
    Pawlak, Z., Fundamentals for Computer Science, Proc.Symp. MFCS-72, Warsaw-Jabłonna, 1972.Google Scholar
  8. [8]
    Petri, C.A., Concepts of Net Theory, Proc.Symp. MFCS-73, High Tatras, 1973.Google Scholar
  9. [9]
    Winkowski, J., On Sequential Modelling of Non-Sequential Processes, this issue.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • Włodzimierz Kwasowiec
    • 1
  1. 1.Computation Centre of the PASWarszawaPoland

Personalised recommendations