Generalized Bisimulation in Relational Specifications.

Egidio Astesiano, Alessandro Giovini, Gianna Reggio

Browse the full STACS paper archive.