Skip to main content
SpringerLink
Log in

Fixed points in process algebras with internal actions

Preliminary note

  • Conference paper
  • First Online:
Mathematical Foundations of Programming Semantics (MFPS 1985)

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

  • 148 Accesses

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. Bergstra, J.A. and J.W. Klop, "Algebra of communicating Processes," Research Report, Centrum voor Wiskunde en Informatica, Amsterdam, 1984.

    Google Scholar 

  2. Bergstra, J.A. and J.W. Klop, "Verification of an alternating bit protocol by means of process algebra," Research Report, Centrum voor Wiskunde en Informatica, Amsterdam, 1984

    Google Scholar 

  3. Milner, R., "A calculus for communicating systems," Springer-Verlag, LNCS 92, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Washington State University, 99164-1210, Pullman, WA

    David B. Benson

  2. Instittue of Mathematics, University of Warsaw, 00-901, Warsaw, PKIN 9p, Poland

    Jerzy Tiuryn

Authors
  1. David B. Benson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jerzy Tiuryn
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Austin Melton

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Benson, D.B., Tiuryn, J. (1986). Fixed points in process algebras with internal actions. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-16816-8_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16816-4

  • Online ISBN: 978-3-540-44861-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation