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