A Formalization of a Concurrent Object Calculus Up to Alpha-Conversion (1999)

Cached

Download Links

by Guillaume Gillard , Inria Sophia Antipolis
Citations:3 - 0 self

Active Bibliography

Formalization of a Concurrent Object Calculus Up to Alpha-Conversion – Gillard Guillaume, Inria Sophia Antipolis - 1999
5 A Higher-Order Specification of the π-Calculus – Joëlle Despeyroux - 2000
24 Closure Under Alpha-Conversion – Randy Pollack - 1993
26 How to Believe a Machine-Checked Proof – Robert Pollack - 1997
Proof of the subject reduction property for a π-calculus in COQ – Loïc Henry-Gérard, Projet Meije - 1999
51 Five axioms of alpha-conversion – Andrew D. Gordon, Tom Melham - 1996
8 A Mechanized Theory of the pi-calculus in HOL – T. F. Melham - 1992
Migration = Cloning ; Aliasing – Hans Hüttel, Josva Kleist, Uwe Nestmann, Massimo Merro - 1998
Local pi-Calculus at Work: Mobile Objects as Mobile Processes – Massimo Merro, Josva Kleist, Uwe Nestmann - 2001
On Deleting Aggregate Objects – Draft David Clarke, David Clarke
Subtyping Mobile Classes and Mixins (Extended Abstract) – Lorenzo Bettini, Viviana Bono, Betti Venneri
Formalising Java RMI with Explicit Code Mobility – Alexander Ahern Aja, Alexander Ahern - 2005
1 An Interpretation of Typed Concurrent Objects in the Blue Calculus – Silvano Dal-Zilio - 1999
1 A Study of Objects – Paul Hankin - 1999
1 Towards Object-Oriented KLAIM – Lorenzo Bettini, Viviana Bono, Betti Venneri - 2001
A Concurrent Object Calculus with Types that Express Sequences – Christof Peter, Franz Puntigam - 1999
12 MoMi - A Calculus for Mobile Mixins – Lorenzo Bettini, Viviana Bono, Betti Venneri - 2004
7 O'KLAIM: a coordination language with mobile mixins – Lorenzo Bettini, Viviana Bono, Betti Venneri - 2004
Mixin and Class Subtyping Hierarchies in a Mobile Setting – Lorenzo Bettini, Viviana Bono, Betti Venneri