Some results on the π-calculus

  • David Walker
Part I: Theoretical Aspects Of Concurrency
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 491)

Keywords

Induction Hypothesis Transition Rule Free Action Label Transition System Mobile Process 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6 References

  1. [Cli]
    W. Clinger, Foundations of Actor Semantics, AI-TR-633, MIT Artificial Intelligence Laboratory, 1981.Google Scholar
  2. [HM]
    M. Hennessy and R. Milner, Algebraic Laws for Non-determinism and Concurrency, Journal of the ACM, 32 (1985) 137–161.CrossRefGoogle Scholar
  3. [Mil1]
    R. Milner, A Calculus of Communicating Systems, Springer LNCS, vol. 92, 1980.Google Scholar
  4. [Mil2]
    R. Milner, Functions as Processes, typewritten paper, 1989.Google Scholar
  5. [MPW1, 2]
    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. [Nie]
    F. Nielson, The typed λ-calculus with First-class Processes, Report ID-TR:1988–43, Inst. for Datateknik, Tekniske Hojskole, Lyngby, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • David Walker
    • 1
  1. 1.Department of Computer ScienceUniversity of EdinburghUK

Personalised recommendations