Typing and Subtyping for Mobile Processes (1996)

by Benjamin Pierce , Davide Sangiorgi
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:245 - 16 self

Active Bibliography

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
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
136 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
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
189 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
13 A Typed Higher-Order Programming Language Based on the Pi-Calculus – Benjamin C. Pierce, Didier Rémy, David N. Turner - 1993
11 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
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
1 Some Type Systems for the Pi Calculus – Simon Gay - 1999
12 The Mobility Workbench - A Tool for the pi-Calculus – Björn Victor, Faron Moller - 1994
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
132 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001