Extensional Equivalences for Transition Systems (1987)

by R De Nicola
Venue:Acta Informatica