Minimal and Canonical Quotients for Simulation Equivalences.

Eduardo Costa Martins, Tim A. C. Willemse

Browse the full CONCUR paper archive.