@Inproceedings{EPTCS18.1, author = {Aceto, Luca and Cimini, Matteo and Ingolfsdottir, Anna}, year = {2010}, title = {A Bisimulation-based Method for Proving the Validity of Equations in GSOS Languages}, editor = {Klin, Bartek and Soboci\'nski, Pawe{\l}}, booktitle = {{\rm Proceedings Sixth Workshop on} Structural Operational Semantics, {\rm Bologna, Italy, August 31, 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {18}, publisher = {Open Publishing Association}, pages = {1-16}, doi = {10.4204/EPTCS.18.1}, }