TY  - RPRT
TI  - Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
AU  - Jana Wagemaker
AU  - Nate Foster
AU  - Tobias Kappé
AU  - Dexter Kozen
AU  - Jurriaan Rot
AU  - Alexandra Silva
PY  - 2022
DO  - 10.1007/978-3-030-99336-8_21
UR  - https://arxiv.org/abs/2201.10485
ID  - 2201.10485
ER  -