@misc{indiciae1da1c83ade61,
  title = {Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks},
  author = {Jana Wagemaker and Nate Foster and Tobias Kappé and Dexter Kozen and Jurriaan Rot and Alexandra Silva},
  year = {2022},
  doi = {10.1007/978-3-030-99336-8\_21},
  url = {https://arxiv.org/abs/2201.10485},
  note = {Source identifier: 2201.10485}
}