Minimizing Transition Systems for Name Passing Calculi: A Co-algebraic Formulation.

Gian-Luigi Ferrari, Ugo Montanari, Marco Pistore

Browse the full FOSSACS paper archive.