Characterising Behavioural Equivalence: Three Sides of One Coin.

Clemens Kupke, Raul Andres Leal

Browse the full CALCO paper archive.