Extensional equivalences for transition systems (1987)

by R De Nicola
Venue:Acta Informatica