7 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.DC2015★ 7 cited
Verifying the correct composition of distributed components: Formalisation and Tool
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu +1
This article provides formal definitions characterizing well-formed composition of components in order to guarantee their safe deployment and execution. Our work focuses on the str…
cs.DC2010★ 4 cited
Behavioural Models for Group Communications
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a si…