On Finite Bases for Weak Semantics: Failures versus Impossible Futures

Taolue Chen, Wan Fokkink, Rob van Glabbeek

We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results re…