40 citations · 156 across the 43 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.PL2022★ 6 cited
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
Jana Wagemaker, Nate Foster, Tobias Kappé +3
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through…