Pict: a programming language based on the Pi-Calculus

By Benjamin C. Pierce, David N. Turner. Proof, Language, and Interaction, 2000

424 citations recorded by the source corpus.

View Paper: https://www.semanticscholar.org/paper/c013a2aa2bd2905b9adaff380e5be6956ee3d838

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Aviv Regev
2. William Silverman
3. Ehud Y. Shapiro
4. Simon J. Gay
5. C. Priami
6. Malcolm Hole
7. Vincent Danos
8. Marek Kwiatkowski

Citations in the corpus

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes (2001, methodology): “Importantly, unlike previous implementations of the calculus [13], our system, BioPSI, supports full synchronized2 communications and full choice (including mixed choice between input and output actions).”
• Subtyping for session types in the pi calculus (2005, methodology): “The pi calculus [21,30] has been used as a vehicle for much research on static type systems for concurrent programming languages, for example [6,16–18,20,25,27,28,32,34], in addition to its widespread use for modelling and reasoning about concurrent systems.”