Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Concurrent nondeterministic processes: Adequacy of structure and behaviour

  • Invited Lectures
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1989 (MFCS 1989)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 379))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. 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. 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. Hoare C.A.R.. Communicating Sequential Processes. Prentice Hall, London, 1985.

    Google Scholar 

  6. Kotov V.E., Cherkasova L.A. On structural properties of generalized processes.-LNCS, Vol. 188, Berlin, 1984, p. 288–306.

    Google Scholar 

  7. Milner R. Calculus of Communicating Systems. LNCS, Vol. 92, 1980.

    Google Scholar 

  8. Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. Theoret. Comp. Sci. 13, p. 85–108, 1981.

    Google Scholar 

  9. Peterson J.L. Petri Net Theory and Modelling of Systems. Prentice Hall, 1981.

    Google Scholar 

  10. Petri C.A. Introduction to General Net Theory.-LNCS, vol. 84, 1980, p. 1–20.

    Google Scholar 

  11. Petri C.A. Non-sequential Processes, GMD-ISF, Rep. 77-05, 1977.

    Google Scholar 

  12. Reisig W. Petri Nets: An Introduction, Springer-Verlag, 1985.

    Google Scholar 

  13. Thiagarajan P.S. Elementary Net Systems. LNCS, vol. 254, p. 26–59.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Center, Siberian Division of the USSR Academy of Sciences, 630090, Novosibirsk, USSR

    Ludmila A. Cherkasova & Vadim E. Kotov

Authors
  1. Ludmila A. Cherkasova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vadim E. Kotov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Antoni Kreczmar Grazyna Mirkowska

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cherkasova, L.A., Kotov, V.E. (1989). Concurrent nondeterministic processes: Adequacy of structure and behaviour. In: Kreczmar, A., Mirkowska, G. (eds) Mathematical Foundations of Computer Science 1989. MFCS 1989. Lecture Notes in Computer Science, vol 379. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51486-4_57

Download citation

  • DOI: https://doi.org/10.1007/3-540-51486-4_57

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51486-2

  • Online ISBN: 978-3-540-48176-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation