10 citations · 27 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.LO2017
Proceedings 10th Interaction and Concurrency Experience
Massimo Bartoletti, Laura Bocchi, Ludovic Henrio +1
This volume contains the proceedings of ICE 2017, the 10th Interaction and Concurrency Experience, which was held in Neuchâtel, Switzerland on the 21st and 22nd of June 2017 as a s…