3382 2013 2013 eng 113 128 7794 conferenceobject Springer 0 -- -- -- Checking Bisimilarity for Attributed Graph Transformation Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 10.1007/978-3-642-37075-5_8 LNCS yes Fernando Orejas Frank Pfenning Artur Boronat Ulrike Golas Nikos Mylonakis Distributed Algorithms and Supercomputing no-project