Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

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

Active Bibliography

144 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
263 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
251 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
31 Higher-Order Concurrent Linear Logic Programming – Naoki Kobayashi, Akinori Yonezawa - 1995
30 The Role of Dialectics in Defeasible Argumentation – Guillermo R. Simari, Carlos I. Chesñevar, Alejandro J. Garcia, Benjamin C. Pierce, David N. Turner - 1994
21 Microarray Optimizations: Increasing Spot Accuracy and Automated Identification of True Microarray Signals – Peter H. Tran, Benjamin C. Pierce, David N. Turner - 2002
21 Naming proofs in classical propositional logic – François Lamarche, Lutz Straßburger
17 Threshold-Based Dynamic Replication in Large-Scale Video-on-Demand Systems – Peter W. K. Lie, John C. S. Lui, Leana Golubchik, Benjamin C. Pierce, David N. Turner - 1998
17 L.: Constructing free Boolean categories – François Lamarche, Loria Inria-lorraine, Projet Calligramme, Lutz Straßburger, Universität Des Saarlandes - 2005