Bisimulation for Models in Concurrency.

Mogens Nielsen, Christian Clausen

Browse the full CONCUR paper archive.