%0 Conference Paper %1 conf/popl/AndersonFGJKSW14 %A Anderson, Carolyn Jane %A Foster, Nate %A Guha, Arjun %A Jeannin, Jean-Baptiste %A Kozen, Dexter %A Schlesinger, Cole %A Walker, David %B POPL %D 2014 %E Jagannathan, Suresh %E Sewell, Peter %I ACM %K dblp %P 113-126 %T NetkAT: semantic foundations for networks. %U http://dblp.uni-trier.de/db/conf/popl/popl2014.html#AndersonFGJKSW14 %@ 978-1-4503-2544-8

@inproceedings{conf/popl/AndersonFGJKSW14, added-at = {2024-04-08T00:00:00.000+0200}, author = {Anderson, Carolyn Jane and Foster, Nate and Guha, Arjun and Jeannin, Jean-Baptiste and Kozen, Dexter and Schlesinger, Cole and Walker, David}, biburl = {https://www.bibsonomy.org/bibtex/2ceada7e0109c458f52db051b35bfc36a/dblp}, booktitle = {POPL}, crossref = {conf/popl/2014}, editor = {Jagannathan, Suresh and Sewell, Peter}, ee = {https://doi.org/10.1145/2578855.2535862}, interhash = {ac58527ce9ee8050df4a7273317216fd}, intrahash = {ceada7e0109c458f52db051b35bfc36a}, isbn = {978-1-4503-2544-8}, keywords = {dblp}, pages = {113-126}, publisher = {ACM}, timestamp = {2024-04-12T14:45:47.000+0200}, title = {NetkAT: semantic foundations for networks.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2014.html#AndersonFGJKSW14}, year = 2014 }