7 citations · 11 across the 3 of their papers we have counts for
3 papers
Compositional equivalences based on Open pNets
Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine
Establishing equivalences between programs or systems is crucial both for verifying correctness of programs, by establishing that two implementations are equivalent, and for justif…
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…
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…