A Coalgebraic Decision Procedure for NetKAT

NetKAT is a domain-specific language and logic for specifying and verifying network packet-processing functions. It consists of Kleene algebra with tests (KAT) augmented with primitives for testing and modifying packet headers and encoding network topologies. Previous work developed the design of th...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2015-05, Vol.50 (1), p.343-355
Hauptverfasser:	Foster, Nate, Kozen, Dexter, Milano, Mae, Silva, Alexandra, Thompson, Laure
Format:	Artikel
Sprache:	eng
Schlagworte:	Formal languages and automata theory Grammars and context-free languages Theory of computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!