4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2020
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…
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…