Minimization Algorithm for Symbolic Bisimilarity.

Filippo Bonchi, Ugo Montanari

Browse the full ESOP paper archive.