An algebraic characterization of transition system equivalences (1989)

by A Arnold, A Dicky
Venue:Information and Computation