DMCA

Process Bisimulation via a Graphical Encoding (2006)

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