×

zbMATH — the first resource for mathematics

Henrio, Ludovic

Compute Distance To:
Author ID: henrio.ludovic Recent zbMATH articles by "Henrio, Ludovic"
Published as: Henrio, Ludovic; Henrio, L.
Documents Indexed: 16 Publications since 2001, including 3 Books

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 33 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
Secured information flow for asynchronous sequential processes. Zbl 1277.68159
Attali, Isabelle; Caromel, Denis; Henrio, Ludovic; Del Aguila, Felipe Luna
1
2007
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