Generalized bisimulation in relational specifications (1988)

by E Astesiano, A Giovini, G Reggio
Venue:Proc. STACS 98, Springer LNCS 294