H ? « »

Language peer sets for Pi Calculus:
United Kingdom
United Kingdom/1991
Designed 1991
1990s languages
Fifth generation
Post-Cold War

Pi Calculus(ID:6813/)

alternate simple view
Country: United Kingdom
Designed 1991

Milners calculus with mobility

Related languages
value-passing CCS Pi Calculus   Evolution of
Pi Calculus PICT   Based on
Pi Calculus PiLib   Implementation

  • Milner, Robin (1991) Milner, Robin "The polyadic pi-calculus: a tutorial" October 1991.
  • Turner, David N, (1995) Turner, David N, "The Polymorphic Pi-Calculus: Theory and Implications" PhD Thesis Edinburgh 1995 Abstract
  • Walker, David (1995) Walker, David "Objects and the pi-calculus" Information and Computation, 1995.
  • Pierce, Benjamin C. and Turner, David N. (1996) Pierce, Benjamin C. and Turner, David N. "Pict Language Definition", Version 3.9d, 1996
  • Gengler, Marc; Martel, Matthieu (1997) Gengler, Marc; Martel, Matthieu "Self-applicable partial evaluation for the pi-calculus" pp36-46 Abstract DOI
          in [SIGPLAN] (1997) [ACM SIGPLAN] SIGPLAN Notices 32(12)
  • Pierce, Benjamin C. (1997) Pierce, Benjamin C. and Turner, David N. Pict: A programming language based on the pi-calculus. Technical report, Computer Science Department, Indiana University, 1997. To appear in Milner festschrift, MIT Press.
          in [SIGPLAN] (1997) [ACM SIGPLAN] SIGPLAN Notices 32(12)
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder