Process bisimulation via a graphical encoding (2006)

by F Bonchi, F Gadducci, B König
Venue:In ICGT, volume 4178 of LNCS