Pietro Cenciarelli Daniele Gorla Emilio Tuosto Network Applications of Graph Bisimulation. 131-146 2008 ICGT http://dx.doi.org/10.1007/978-3-540-87405-8_10 conf/gg/2008 db/conf/gg/icgt2008.html#CenciarelliGT08