111 citations · 528 across the 50 of their papers we have counts for
4 papers · 1 filter
Guarded Kleene Algebra with Tests: Automata Learning
Stefan Zetzsche, Alexandra Silva, Matteo Sammartino
Guarded Kleene Algebra with Tests (GKAT) is the fragment of Kleene Algebra with Tests (KAT) that arises by replacing the union and iteration operations of KAT with predicate-guarde…
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…
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…
Prognosis: Closed-Box Analysis of Network Protocol Implementations
Tiago Ferreira, Harrison Brewton, Loris D'Antoni +1
We present Prognosis, a framework offering automated closed-box learning and analysis of models of network protocol implementations. Prognosis can learn models that vary in abstrac…