File Format: Adobe PostScript - View as HTML
by BCPDN Turner - Cited by 5 - Related articles - All 27 versions
choice-free fragment of the -calculus enriched with records and pattern matching . 2.1 The Pi-Calculus. To aid comparison, we begin with a brief review of ...
www.cis.upenn.edu/~bcpierce/papers/pict-design.ps
Labeled People

The pi calculus offers an attractive basis for concurrent programming. It is small, elegant, and well studied, and supports via simple encodings a wide ...
citeseer.ist.psu.edu/pierce97pict.html
Labeled Citeseer

Oct 31, 2006 ... We present in this paper the CubeVM, an interpreter architecture for an applied variant of the Pi-calculus, focusing on its operational ...
lambda-the-ultimate.org/node/1811
Labeled Discussion

by BC Pierce - 1997 - Cited by 469 - Related articles
CiteSeerX - Document Details (Isaac Councill, Lee Giles): The π-calculus offers an attractive basis for concurrent programming. It is small, elegant, ...
citeseer.ist.psu.edu/2193.html
Labeled Citeseer

by C Kuttler - 2006 - Cited by 26 - Related articles - All 9 versions
May 23, 2007 ... Abstract: We present SpiCO, a new modeling and simulation language for system biology, based on the stochastic pi-calculus. ...
hal.inria.fr/inria-00121104/en

by S Eisenbach - 1993 - Cited by 33 - Related articles
CiteSeerX - Document Details (Isaac Councill, Lee Giles): Darwin is a configuration language for distributed and parallel programs, providing a hierarchical ...
citeseer.ist.psu.edu/95923.html
Labeled Citeseer

Dec 12, 2006 ... The paper The Polyadic pi-Calculus: a Tutorial (1991) by Robin Milner doesn't appear to have been mentioned on the front page previously of ...
lambda-the-ultimate.org/node/1904
Labeled Discussion

More exactly, the idea is to sketch the system in a prototyping language, as pi- calculus and then to use our framework to derive its performance, ...
citeseer.ist.psu.edu/474517.html
Labeled Citeseer

by M John - 2008 - Cited by 5 - Related articles
Nov 2, 2009 ... Abstract: The attributed pi calculus (pi(L)) forms an extension of the pi calculus with attributed processes and attribute dependent ...
hal.inria.fr/inria-00308970/en

CiteSeerX - Document Details (Isaac Councill, Lee Giles): We introduce a calculus which is a direct extension of both the and the ß calculi.
citeseer.ist.psu.edu/142345.html
Labeled Citeseer