A Categorical Axiomatics for Bisimulation.

Gian Luca Cattani, John Power, Glynn Winskel

Browse the full CONCUR paper archive.