Partition refinement for bisimilarity in CCP.

Andrs Aristizbal, Filippo Bonchi, Frank D. Valencia, Luis Fernando Pino

Browse the full SAC paper archive.