@inproceedings{Wagemaker2022,
 author = {Jana Wagemaker and Nate Foster and Tobias Kapp{\'{e}} and Dexter Kozen and Jurriaan Rot and Alexandra Silva},
 booktitle = {European Symposium on Programming (ESOP)},
 doi = {10.1007/978-3-030-99336-8\_21},
 title = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks},
 year = {2022}
}

{"_id":"XH8rk7pEqc7CNogKv","bibbaseid":"wagemaker-foster-kapp-kozen-rot-silva-concurrentnetkatmodelingandanalyzingstatefulconcurrentnetworks-2022","author_short":["Wagemaker, J.","Foster, N.","Kappé, T.","Kozen, D.","Rot, J.","Silva, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jana"],"propositions":[],"lastnames":["Wagemaker"],"suffixes":[]},{"firstnames":["Nate"],"propositions":[],"lastnames":["Foster"],"suffixes":[]},{"firstnames":["Tobias"],"propositions":[],"lastnames":["Kappé"],"suffixes":[]},{"firstnames":["Dexter"],"propositions":[],"lastnames":["Kozen"],"suffixes":[]},{"firstnames":["Jurriaan"],"propositions":[],"lastnames":["Rot"],"suffixes":[]},{"firstnames":["Alexandra"],"propositions":[],"lastnames":["Silva"],"suffixes":[]}],"booktitle":"European Symposium on Programming (ESOP)","doi":"10.1007/978-3-030-99336-8_21","title":"Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks","year":"2022","bibtex":"@inproceedings{Wagemaker2022,\n author = {Jana Wagemaker and Nate Foster and Tobias Kapp{\\'{e}} and Dexter Kozen and Jurriaan Rot and Alexandra Silva},\n booktitle = {European Symposium on Programming (ESOP)},\n doi = {10.1007/978-3-030-99336-8\\_21},\n title = {Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks},\n year = {2022}\n}\n\n","author_short":["Wagemaker, J.","Foster, N.","Kappé, T.","Kozen, D.","Rot, J.","Silva, A."],"key":"Wagemaker2022","id":"Wagemaker2022","bibbaseid":"wagemaker-foster-kapp-kozen-rot-silva-concurrentnetkatmodelingandanalyzingstatefulconcurrentnetworks-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://alexandrasilva.org/files/silva.bib","dataSources":["BQAtJ795ujcMgoxSg","g3oJeDsRp4CMAYtS6"],"keywords":[],"search_terms":["concurrent","netkat","modeling","analyzing","stateful","concurrent","networks","wagemaker","foster","kappé","kozen","rot","silva"],"title":"Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks","year":2022}