9 citations · 18 across the 11 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
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…
cs.LO2022★ 2 cited
Processes Parametrised by an Algebraic Theory
Todd Schmid, Wojciech Rozowski, Alexandra Silva +1
We develop a (co)algebraic framework to study a family of process calculi with monadic branching structures and recursion operators. Our framework features a uniform semantics of p…