Extensional equivalences for transition systems (0)

by Rocco De Nicola
Venue:Acta Informatica