Observation Equivalence as a Testing Equivalence, Theoret (1987)

by S Abramsky
Venue:Comput. Sci