×
Compute Distance To:
Author ID: henrio.ludovic Recent zbMATH articles by "Henrio, Ludovic"
Published as: Henrio, Ludovic; Henrio, L.

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 34 times in 21 Documents Cited by Year
A theory of distributed objects. Asynchrony – mobility – groups – components. Preface by Luca Cardelli. Zbl 1084.68012
Caromel, Denis; Henrio, Ludovic
11
2005
Asynchronous and deterministic objects. Zbl 1325.68052
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
9
2004
A theory for the composition of concurrent processes. Zbl 1347.68267
Henrio, Ludovic; Madelaine, Eric; Zhang, Min
4
2016
Asynchronous sequential processes. Zbl 1170.68026
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
2
2009
Functional active objects: typing and formalisation. Zbl 1364.68130
Henrio, Ludovic; Kammüller, Florian
2
2009
Behavioural semantics for asynchronous components. Zbl 1407.68271
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.
2
2017
A mechanized model of the theory of objects. Zbl 1202.68097
Henrio, Ludovic; Kammüller, Florian
2
2007
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 07161318
Henrio, Ludovic; Kessler, Christoph; Li, Lu
1
2020
Secured information flow for asynchronous sequential processes. Zbl 1277.68159
Attali, Isabelle; Caromel, Denis; Henrio, Ludovic; Del Aguila, Felipe Luna
1
2007
Leveraging access mode declarations in a model for memory consistency in heterogeneous systems. Zbl 07161318
Henrio, Ludovic; Kessler, Christoph; Li, Lu
1
2020
Behavioural semantics for asynchronous components. Zbl 1407.68271
Ameur-Boulifa, R.; Henrio, L.; Kulankhina, O.; Madelaine, E.; Savu, A.
2
2017
A theory for the composition of concurrent processes. Zbl 1347.68267
Henrio, Ludovic; Madelaine, Eric; Zhang, Min
4
2016
Asynchronous sequential processes. Zbl 1170.68026
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
2
2009
Functional active objects: typing and formalisation. Zbl 1364.68130
Henrio, Ludovic; Kammüller, Florian
2
2009
A mechanized model of the theory of objects. Zbl 1202.68097
Henrio, Ludovic; Kammüller, Florian
2
2007
Secured information flow for asynchronous sequential processes. Zbl 1277.68159
Attali, Isabelle; Caromel, Denis; Henrio, Ludovic; Del Aguila, Felipe Luna
1
2007
A theory of distributed objects. Asynchrony – mobility – groups – components. Preface by Luca Cardelli. Zbl 1084.68012
Caromel, Denis; Henrio, Ludovic
11
2005
Asynchronous and deterministic objects. Zbl 1325.68052
Caromel, Denis; Henrio, Ludovic; Serpette, Bernard Paul
9
2004

Citations by Year