A Tool Set for deciding Behavioral Equivalences.

Jean-Claude Fernandez, Laurent Mounier

Browse the full CONCUR paper archive.