On the Axiomatizability of Impossible Futures: Preorder versus Equivalence.

Taolue Chen, Wan J. Fokkink

Browse the full LICS paper archive.