Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

by Benjamin C. Pierce , Davide Sangiorgi
Venue:JOURNAL OF THE ACM
Citations:54 - 6 self

Documents Related by Co-Citation

244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
77 A Partially Deadlock-free Typed Process Calculus (I) -- A Simple System -- – Naoki Kobayashi
201 Resource Access Control in Systems of Mobile Agents – Matthew Hennessy, James Riely - 1998
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
72 Trust and Partial Typing in Open Systems of Mobile Agents – James Riely, James Riely, Matthew Hennessy, Matthew Hennessy - 1998
37 Typed operational reasoning – Andrew Pitts - 2004
73 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
16 A complete, co-inductive syntactic theory of sequential control and state – K Støvring, S Lassen - 2007
34 On the equivalence of data representations – J C Mitchell - 1991
46 Small bisimulations for reasoning about higher-order imperative programs – Vasileios Koutavas, Mitchell Wand - 2006