Concurrent nondeterministic processes: Adequacy of structure and behaviour

  • Ludmila A. Cherkasova
  • Vadim E. Kotov
Invited Lectures
Part of the Lecture Notes in Computer Science book series (LNCS, volume 379)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BHR84]
    Brookes S.D., Hoare C.A.R., Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No 3, pp. 560–599, 1984.Google Scholar
  2. [Ch88]
    Cherkasova L.A. On Models and Algebras for Concurrent Processes. LNCS Lecture Notes in Computer Science, Springer-Verlag, vol. 324, p. 27–43.Google Scholar
  3. [ChK88]
    Cherkasova L., Kotov V. Descriptive and Analytical process algebras. Proceedings of 9-th European workshop on Theory and Applications of Petri Nets, p. 38–57, 1988. Will appear in LNCS, Advances in Petri Nets — 1989.Google Scholar
  4. [GLT80]
    Genrich H., Lautenbach K., Thiagarajan P.S. Elements of General Net Theory, LNCS Lecture Notes in Computer Science, Springer-Verlag, vol. 84, p. 21–164.Google Scholar
  5. [Ho85]
    Hoare C.A.R.. Communicating Sequential Processes. Prentice Hall, London, 1985.Google Scholar
  6. [KCh84]
    Kotov V.E., Cherkasova L.A. On structural properties of generalized processes.-LNCS, Vol. 188, Berlin, 1984, p. 288–306.Google Scholar
  7. [Mil80]
    Milner R. Calculus of Communicating Systems. LNCS, Vol. 92, 1980.Google Scholar
  8. [NPW81]
    Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. Theoret. Comp. Sci. 13, p. 85–108, 1981.Google Scholar
  9. [P81]
    Peterson J.L. Petri Net Theory and Modelling of Systems. Prentice Hall, 1981.Google Scholar
  10. [Pet80]
    Petri C.A. Introduction to General Net Theory.-LNCS, vol. 84, 1980, p. 1–20.Google Scholar
  11. [Pet77]
    Petri C.A. Non-sequential Processes, GMD-ISF, Rep. 77-05, 1977.Google Scholar
  12. [Rei85]
    Reisig W. Petri Nets: An Introduction, Springer-Verlag, 1985.Google Scholar
  13. [Th87]
    Thiagarajan P.S. Elementary Net Systems. LNCS, vol. 254, p. 26–59.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Ludmila A. Cherkasova
    • 1
  • Vadim E. Kotov
    • 1
  1. 1.Computing CenterSiberian Division of the USSR Academy of SciencesNovosibirskUSSR

Personalised recommendations