A bisimulation for type abstraction and recursion (2005)

by Eijiro Sumii , Benjamin C. Pierce
Venue:SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:46 - 4 self

Active Bibliography

38 Logical Relations for Encryption – Eijiro Sumii, Benjamin C. Pierce - 2002
35 Environmental bisimulations for higher-order languages – Davide Sangiorgi - 2007
6 Names, Equations, Relations: Practical Ways to Reason about new – Ian Stark - 1996
19 A theory of bisimulation for a fragment of concurrent ML with local names – Alan Jeffrey, Julian Rathke - 2003
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
55 Semantics of Types for Mutable State – Amal Jamil Ahmed - 2004
42 A bisimulation for dynamic sealing – Eijiro Sumii - 2004
2 Complete Lax Logical Relations for Cryptographic Lambda-Calculi – Jean Goubault-larrecq, David Nowak, Yu Zhang - 2004
Observational Program Calculi and the Correctness of Translations – Manfred Schmidt-schauss, David Sabel, Joachim Niehren, Jan Schwinghammer - 2013
A Testing Theory for a Higher-Order Cryptographic Language ⋆ (Extended Abstract) – Vasileios Koutavas, Matthew Hennessy
5 A Step-indexed Semantics of Imperative Objects – Catalin Hritcu, et al.
13 Reasoning about Functions with Effects – Carolyn Talcott - 1997
4 From Applicative to Environmental Bisimulation – Vasileios Koutavas, Paul Blain Levy, Eijiro Sumii - 2011
1 An Equational Theory for a Region Calculus – Simon Helsen - 2002
Observational Program Calculi and the Correctness of Translations – unknown authors
Higher Order Broadcasting Systems – Karol Ostrovsky - 2002
10 A Probabilistic Applied Pi–Calculus – Jean Goubault-larrecq, Catuscia Palamidessi, Angelo Troina - 2007
23 Domain theory for concurrency – Mikkel Nygaard - 2003
20 A Relational Modal Logic for Higher-Order Stateful ADTs – Derek Dreyer, Georg Neis, Andreas Rossberg, Lars Birkedal