|
|
Typing and Subtyping for Mobile Processes (Extended Abstract)
– Benjamin Pierce, Davide Sangiorgi
- 1992
|
|
7
|
Programming in the pi-calculus: A tutorial introduction to Pict (Pict Version 3.8d)
– Benjamin C. Pierce
- 1996
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
119
|
Linearity and the Pi-Calculus
– Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
- 1999
|
|
6
|
From π-calculus to Higher-Order π-calculus -- and back
– Davide Sangiorgi
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
93
|
The Polymorphic Pi-calculus: Theory and Implementation
– David N. Turner
- 1995
|
|
172
|
A Calculus of Mobile Processes, Part I
– Robin Milner, Joachim Parrow, David Walker
- 1989
|
|
4
|
Pict Language Definition
– Benjamin C. Pierce, David N. Turner
- 1996
|
|
12
|
A Typed Higher-Order Programming Language Based on the Pi-Calculus
– Benjamin C. Pierce, Didier Rémy, David N. Turner
- 1993
|
|
8
|
An investigation into Functions as Processes
– Davide Sangiorgi
- 1993
|
|
1
|
lambda-Calculus, Multiplicities and the pi-Calculus
– Gérard Boudol, Cosimo Laneve, Cosimo Laneve
- 1995
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
|
Some Type Systems for the Pi Calculus
– Simon Gay
- 1999
|
|
8
|
The Mobility Workbench - A Tool for the pi-Calculus
– Björn Victor, Faron Moller
- 1994
|
|
73
|
π-Calculus, Internal Mobility, and Agent-Passing Calculi
– Davide Sangiorgi
- 1995
|
|
117
|
Controlling Interference in Ambients
– Francesca Levi, Davide Sangiorgi
- 2000
|
|
13
|
Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)
– Davide Sangiorgi
- 1999
|
|
13
|
Solo Diagrams
– Cosimo Laneve, Joachim Parrow, Björn Victor
- 2001
|
