1. Aceto, L., Cimini, M., Ingólfsdóttir, A.: Proving the validity of equations in GSOS languages using rule-matching bisimilarity. MSCS 22(2), 291–331 (2012)
2. Lecture Notes in Computer Science;L Aceto,2005
3. Baldan, P., Bracciali, A., Bruni, R.: A semantic framework for open processes. Theor. Comput. Sci. 389(3), 446–483 (2007)
4. Bartels, F.: On generalised coinduction and probabilistic specification formats. Ph.D. thesis, CWI, Amsterdam (2004)
5. Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can’t be traced. J. ACM 42(1), 232–268 (1995)