Skip to main content
SpringerLink
Log in

Some results on the π-calculus

  • Part I: Theoretical Aspects Of Concurrency
  • Conference paper
  • First Online:
Concurrency: Theory, Language, and Architecture (CONCURRENCY 1989)

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

Included in the following conference series:

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.

6 References

  1. W. Clinger, Foundations of Actor Semantics, AI-TR-633, MIT Artificial Intelligence Laboratory, 1981.

    Google Scholar 

  2. M. Hennessy and R. Milner, Algebraic Laws for Non-determinism and Concurrency, Journal of the ACM, 32 (1985) 137–161.

    Article  Google Scholar 

  3. R. Milner, A Calculus of Communicating Systems, Springer LNCS, vol. 92, 1980.

    Google Scholar 

  4. R. Milner, Functions as Processes, typewritten paper, 1989.

    Google Scholar 

  5. R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Parts I and II, Reports ECS-LFCS-89-85 and-86, Laboratory for Foundations of Computer Science, University of Edinburgh, 1989.

    Google Scholar 

  6. F. Nielson, The typed λ-calculus with First-class Processes, Report ID-TR:1988–43, Inst. for Datateknik, Tekniske Hojskole, Lyngby, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Edinburgh, UK

    David Walker

Authors
  1. David Walker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Akinori Yonezawa Takayasu Ito

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Walker, D. (1991). Some results on the π-calculus. In: Yonezawa, A., Ito, T. (eds) Concurrency: Theory, Language, and Architecture. CONCURRENCY 1989. Lecture Notes in Computer Science, vol 491. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53932-8_42

Download citation

  • DOI: https://doi.org/10.1007/3-540-53932-8_42

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-46452-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation