Ludovic Henrio
Home
|
Publications
|
Talks
|
Students
|
Projects
|
Formal proofs
A Few Talks
5/2011:
Invited talk at Charles University (Prague): "Asynchronous Components with Futures: Semantics, Specification, and Proofs in a Theorem Prover"
11/2009 FMCO'09:
Formalism and platform for autonomous distributed components
10/2008 FMCO'08:
Distributed Components and Futures: Models and Challenges
09/2008 FACS'08:
Transparent First-class Futures and Distributed Components
10/2007 Autonomics'07:
A Component Platform for Experimenting with Autonomic Composition
06/2007 FMOODS'07:
A Mechanized model of the Theory of Objects
01/2007 CoreGrid SAB:
Grid Component Model
08/2006 TCS'06:
Asynchonous Distributed Components: Concurrency and Determinacy
01/2004 POPL'04:
Asynchronous and Distributed Objects