9 citations · 18 across the 11 of their papers we have counts for
1 paper · 1 filter
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…