Process bisimulation via a graphical encoding (2006)

by F Bonchi, F Gadducci, B König
Venue:In Proc. of ICGT ’06