Temporal NetKAT.

Ryan Beckett, Michael Greenberg, David Walker

Browse the full PLDI paper archive.