A General Completeness Theorem for Skip-free Star Algebras

Tobias Kappé, Todd Schmid

We consider process algebras with branching parametrized by an equational theory T, and show that it is possible to axiomatize bisimilarity under certain conditions on T. Our proof…