Process Bisimulation via a Graphical Encoding (2006)

by Filippo Bonchi , Fabio Gadducci , Barbara König
Venue:IN: ICGT ‘06. VOLUME 4178 OF LNCS
Citations:17 - 11 self