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

Documents Related by Co-Citation

46 Small bisimulations for reasoning about higher-order imperative programs – Vasileios Koutavas, Mitchell Wand - 2006
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
3219 Communication and Concurrency – R Milner - 1990
111 Operational Reasoning for Functions With Local State – Andrew Pitts, Ian Stark
47 A bisimulation for type abstraction and recursion – Eijiro Sumii, Benjamin C. Pierce - 2005
24 Contextual equivalence for higher-order pi-calculus revisited, Log – A Jeffrey, J Rathke - 2005
16 A Complete Characterization of Observational Equivalence in Polymorphic λ-Calculus with General References – Eijiro Sumii - 2009
63 State-dependent representation independence – Amal Ahmed, Derek Dreyer, Andreas Rossberg - 2009
136 An Indexed Model of Recursive Types for Foundational Proof-Carrying Code – Andrew W. Appel, David Mcallester - 2000
16 A complete, co-inductive syntactic theory of sequential control and state – K Støvring, S Lassen - 2007
10 Normal form bisimulation for parametric polymorphism – Soren B. Lassen, Google Inc, Paul Blain Levy - 2008
37 Typed operational reasoning – Andrew Pitts - 2004
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
109 Proving congruence of bisimulation in functional programming languages – Douglas J. Howe - 1996
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
42 A bisimulation for dynamic sealing – Eijiro Sumii - 2004
73 Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types – Amal Ahmed - 2006
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992