A Coalgebraic Decision Procedure for NetKAT

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 14, 2015
Source ID
10.1145/2676726.2677011

Entities

People

  • Alexandra Silva
  • Dexter Kozen
  • Laure Thompson
  • Mae Milano
  • Nate Foster

Organizations

  • Cornell University
  • National Science Foundation
  • Office of Naval Research
  • Radboud University Nijmegen