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

Documents Related by Co-Citation

1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1165 Proof-Carrying Code – George C. Necula - 1997
497 The calculus of constructions – T Coquand, G P Huet - 1988
929 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
469 The formulae-as-types notion of construction – W Howard - 1980
423 Obliq - A language with distributed scope – Luca Cardelli - 1995
411 Safe Kernel Extensions Without Run-Time Checking – George C. Necula, Peter Lee