On the axiomatizability of impossible futures: Preorder versus equivalence. (2008)

by T Chen, W J Fokkink
Venue:In Proc. LICS’08, IEEE,