On Finite Bases for Weak Semantics: Failures versus Impossible Futures

Taolue Chen, Wan Fokkink, Rob J. van Glabbeek. On Finite Bases for Weak Semantics: Failures versus Impossible Futures. CoRR, abs/0810.4904, 2008. [doi]

Abstract

Abstract is missing.