How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation.

Clment Aubert, Ioana Cristescu

Browse the full CONCUR paper archive.