Environmental bisimulations for higher-order languages (2007)

by Davide Sangiorgi
Venue:In Twenty-Second Annual IEEE Symposium on Logic in Computer Science
Citations:33 - 10 self

Active Bibliography

2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
7 The marriage of bisimulations and Kripke logical relations – Chung-kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis - 2012
12 On the Expressiveness and Decidability of Higher-Order Process Calculi – Ivan Lanese, Jorge A. Pérez , Davide Sangiorgi , Alan Schmitt - 2008
DOI: 10.1109/LICS.2008.8 On the Expressiveness and Decidability of Higher-Order Process Calculi ∗ – Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt - 2010
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
11 A bisimulation-based semantic theory of safe ambients – Massimo Merro, Matthew Hennessy - 2006
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
2 First-order reasoning for higher-order concurrency – Vasileios Koutavas, Matthew Hennessy - 2009
On the Expressiveness and Decidability of Higher-Order Process Calculi ✩,✩✩ – Ivan Lanese A, Jorge A. Pérez B, Davide Sangiorgi A, Alan Schmitt C
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
2 Bisimilarity for the region calculus – Simon Helsen
Observational Program Calculi and the Correctness of Translations – unknown authors
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
4 Full abstraction for polymorphic pi-calculus. Online edition with proofs – Alan Jeffrey, Julian Rathke - 2005
63 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
4 From Applicative to Environmental Bisimulation – Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii - 2011
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
On the representation of McCarthy’s ambin the π-calculus – Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi - 2004