Behavioral Equivalence in the Polymorphic Pi-Calculus (1997)

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

Active Bibliography

Geometry of Chaotic and Stable Discussions – Donald G. Saari, Benjamin C. Pierce, David N. Turner - 2003
Hypothesis Generation Guided By . . . – Johannes Stegmann, Benjamin C. Pierce, David N. Turner - 2003
Randomized On-Line scheduling similar jobs to minimize makespan on two identical processors – Donglei Du, Benjamin C. Pierce, David N. Turner - 2004
Optimizing Abstaining Classifiers using ROC Analysis Tadek Pietraszek – Tdek Pe'trek Pie, Benjamin C. Pierce, David N. Turner
Mean Square Error For Biorthogonal M-Channel Wavelet Coder – Frederic PAYAN, Marc ANTONINI, Benjamin C. Pierce, David N. Turner - 2005
Design of a Real-Time CORBA Event Service – Customised For The, Benjamin C. Pierce, David N. Turner
Search for an Ideal Reasoning System: Specification of the Minimal Requirements – Wilhelmiina Hämäläinen, Benjamin C. Pierce, David N. Turner
OpenSystemO – Informop Dynamomo Vol, Benjamin C. Pierce, David N. Turner
On The Evaluation Of Automatic Onset Tracking Systems – Alexander Lerch, Ingmar Klich, Benjamin C. Pierce, David N. Turner - 2005
Non Uniform Multiresolution Method for . . . – Isaac Cohen, Isabelle Herlin, Benjamin C. Pierce, David N. Turner - 1999
3 Virtual and Augmented Reality Applied to Educational and Cultural Heritage Domains – N. Mourkoussis, F. Liarokapis, J. Darcy, M. Pettersson, P. Petridis, P. F. Lister, M. White, Benjamin C. Pierce, David N. Turner - 2002
4 Why Case-Based Reasoning is Attractive for Image Interpretation – P. Perner, Benjamin C. Pierce, David N. Turner - 2001
4 Focusing Inference In Defeasible Argumentation – Guillermo R. Simari, Benjamin C. Pierce, David N. Turner - 1994
1 An Architectural Infrastructure and Topological Optimization for End System Multicast – Starsky H.Y. Wong, John C.S. Lui, Benjamin C. Pierce, David N. Turner - 2002
2 Making Argument Systems Computationally Attractive - Argument Construction and Maintenance – Alejandro J. Garcia, Carlos I. Chesnevar, Guillermo R. Simari, Benjamin C. Pierce, David N. Turner - 1993
4 CAN Emulation in a Time-Triggered Environment – Roman Obermaisser - 2002
3 Prediction and Reconstruction of Distributed Dynamic Phenomena Charaterized by Linear Partial Differential Equations – Kathrin Roberts, Uwe D. Hanebeck - 2005
Advancing in the Face of Conventional Wisdom – Richard Lanzara - 2004
Seamless Collaboration -- Enabling Best In Class VoIP . . . – Hani Elgebaly, et al. - 2006