A Coalgebraic Decision Procedure for NetKAT

  • Nate Foster
  • , Dexter Kozen
  • , Matthew Milano
  • , Alexandra Silva
  • , Laure Thompson

Research output: Contribution to journal › Article › peer-review

13 Scopus citations

Fingerprint

Dive into the research topics of 'A Coalgebraic Decision Procedure for NetKAT'. Together they form a unique fingerprint.

Computer Science

Keyphrases