Advertisement

Synthesis of concurrent schemes

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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