40 citations · 156 across the 43 of their papers we have counts for
1 paper · 2 filters
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…