Synthesis of concurrent schemes

  • Ryszard Janicki
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Janicki R., An Algebraic Characterization of Concurrency Relations, Information Processing Letters, to appear.Google Scholar
  2. [2]
    Mazurkiewicz A., Invariants of Concurrent Programs, Proc. of IFIP-INFOPOL Conf. on Information Processing, North Holland, 1977,353–372.Google Scholar
  3. [3]
    Mazurkiewicz A., Concurrent Program Schemes and their Interpretations, DAIMI-PB-78, Aarhus University Publ., 1977.Google Scholar
  4. [4]
    Petri C.A., Concepts of Net Theory, MFCS`73 Proceedings, High Tatras, Math. Inst. of Slovak Acad. of Sci., 1973, 137–146.Google Scholar
  5. [5]
    Petri C.A., Interpretations of Net Theory, ISF Report 75-207, GMD, Bonn, 1975.Google Scholar
  6. [6]
    Petri C.A., Non-Sequential Processes, ISF Report 77-1, GMD, Bonn, 1977.Google Scholar
  7. [7]
    Winkowski J., An Algebraic Approach to Non-Sequential Computations, ICS PAS Reports 312, Warsaw, 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Ryszard Janicki
    • 1
  1. 1.Institute of MathematicsWarsaw Technical UniversityWarsaw

Personalised recommendations