DMCA

Distributed Branching Bisimulation Minimization by Inductive Signatures (2009)

by Stefan Blom , Jaco van de Pol