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…