Strong Splitting Bisimulation Equivalence.

Jan A. Bergstra, Cornelis A. Middelburg

Browse the full CALCO paper archive.