Open Maps as a Bridge between Algebraic Observational Equivalence and Bisimilarity (1997)

by S Lasota
Venue:Proc. 12th Workshop on Algebraic Developement Techniques