Process Bisimulation via a Graphical Encoding (2006)

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