1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2025
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…
cs.LO2022★ 1 cited
A (Co)Algebraic Framework for Ordered Processes
Todd Schmid
A recently published paper (Schmid, Rozowski, Silva, and Rot, 2022) offers a (co)algebraic framework for studying processes with algebraic branching structures and recursion operat…
math.LO2022
Presenting with Quantitative Inequational Theories
Todd Schmid
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching…