The Polyadic π-Calculus: a Tutorial

@inproceedings{Milner1993TheP,
  title={The Polyadic π-Calculus: a Tutorial},
  author={R. Milner},
  year={1993}
}
  • R. Milner
  • Published 1993
  • Computer Science
  • The π-calculus is a model of concurrent computation based upon the notion of naming. [...] Key Method Semantics is done in terms of both a reduction system and a version of labelled transitions called commitment; the known algebraic axiomatization of strong bisimilarity is given in the new setting, and so also is a characterization in modal logic. Some theorems about the replication operator are proved.Expand Abstract
    1,123 Citations
    A MECHANIZED THEORY OF THE Π-CALCULUS IN HOL
    • 49
    • PDF
    Sequentiality and the pi-Calculus
    • 49
    A Higher-Order Specification of the pi-Calculus
    • 30
    • PDF
    The λ-calculus in the π-calculus
    • 13
    • PDF
    Extended pi-Calculi
    • 10
    • PDF
    Explicit substitutions for pi-congruences
    • P. Quaglia
    • Computer Science, Mathematics
    • Theor. Comput. Sci.
    • 2001
    • 1
    Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract)
    • X. Liu
    • Mathematics, Computer Science
    • CONCUR
    • 1994
    • 5
    A Translation of the Pi-Calculus Into MONSTR
    • 12
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 36 REFERENCES
    Concurrency and Automata on Infinite Sequences
    • D. Park
    • Computer Science
    • Theoretical Computer Science
    • 1981
    • 2,244
    • PDF
    SMoLCS-Driven Concurrent Calculi
    • 56
    • PDF
    Pi-Calculus Semantics of Object-Oriented Programming Languages
    • 80
    Modal Logics for Mobile Processes
    • 187
    • PDF
    The Typed lambda-Calculus with First-Class Processes
    • 65
    A Calculus of Communicating Systems
    • R. Milner
    • Mathematics, Computer Science
    • Lecture Notes in Computer Science
    • 1980
    • 4,731
    Parametric Channels via Label Expressions in CCS
    • 35
    Algebraic laws for nondeterminism and concurrency
    • 1,451
    • PDF
    Algebraic theory of processes
    • M. Hennessy
    • Computer Science
    • MIT Press series in the foundations of computing
    • 1988
    • 1,060
    • PDF
    Communication and concurrency
    • R. Milner
    • Mathematics, Computer Science
    • PHI Series in computer science
    • 1989
    • 8,714