Ryan Beckett, Michael Greenberg 0002, David Walker
Temporal NetKAT
PLDI, 2016.
@inproceedings{PLDI-2016-BeckettGW, author = "Ryan Beckett and Michael Greenberg 0002 and David Walker", booktitle = "{Proceedings of the 37th Conference on Programming Language Design and Implementation}", doi = "10.1145/2908080.2908108", isbn = "978-1-4503-4261-2", pages = "386--401", publisher = "{ACM}", title = "{Temporal NetKAT}", year = 2016, }