Matches in SemOpenAlex for { <https://semopenalex.org/work/W2762699636> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2762699636 abstract "NetKAT is a network programming language with a solid mathematical foundation. In this paper, we present an operational semantics and show that it is sound and complete with respect to its original axiomatic semantics. We achieve automatic reasoning for NetKAT such as reachability analysis and model checking of temporal properties, by formalizing the operational semantics in an algebraic executable specification language called Maude. In addition, as NetKAT policies are normalizable, two policies are operationally equivalent if and only if they can be converted into the same normal form. We provide a formal way of reasoning about network properties by turning the equivalence checking problem of NetKAT policies into the normalization problem that can be automated in Maude." @default.
- W2762699636 created "2017-10-20" @default.
- W2762699636 creator A5022036342 @default.
- W2762699636 creator A5046716720 @default.
- W2762699636 creator A5053204257 @default.
- W2762699636 date "2017-01-01" @default.
- W2762699636 modified "2023-09-23" @default.
- W2762699636 title "An Algebraic Approach to Automatic Reasoning for NetKAT Based on Its Operational Semantics" @default.
- W2762699636 cites W1949062307 @default.
- W2762699636 cites W1981466053 @default.
- W2762699636 cites W1998368317 @default.
- W2762699636 cites W2116995348 @default.
- W2762699636 cites W2130210899 @default.
- W2762699636 cites W2148994573 @default.
- W2762699636 cites W2151517515 @default.
- W2762699636 cites W2410246089 @default.
- W2762699636 cites W2913846715 @default.
- W2762699636 cites W4234045312 @default.
- W2762699636 cites W4255282609 @default.
- W2762699636 doi "https://doi.org/10.1007/978-3-319-68690-5_28" @default.
- W2762699636 hasPublicationYear "2017" @default.
- W2762699636 type Work @default.
- W2762699636 sameAs 2762699636 @default.
- W2762699636 citedByCount "1" @default.
- W2762699636 countsByYear W27626996362021 @default.
- W2762699636 crossrefType "book-chapter" @default.
- W2762699636 hasAuthorship W2762699636A5022036342 @default.
- W2762699636 hasAuthorship W2762699636A5046716720 @default.
- W2762699636 hasAuthorship W2762699636A5053204257 @default.
- W2762699636 hasConcept C116253237 @default.
- W2762699636 hasConcept C118615104 @default.
- W2762699636 hasConcept C136643341 @default.
- W2762699636 hasConcept C136886441 @default.
- W2762699636 hasConcept C144024400 @default.
- W2762699636 hasConcept C156325763 @default.
- W2762699636 hasConcept C160145156 @default.
- W2762699636 hasConcept C167729594 @default.
- W2762699636 hasConcept C184337299 @default.
- W2762699636 hasConcept C19165224 @default.
- W2762699636 hasConcept C195344581 @default.
- W2762699636 hasConcept C199360897 @default.
- W2762699636 hasConcept C207648694 @default.
- W2762699636 hasConcept C2524010 @default.
- W2762699636 hasConcept C2777691520 @default.
- W2762699636 hasConcept C2780069185 @default.
- W2762699636 hasConcept C33923547 @default.
- W2762699636 hasConcept C41008148 @default.
- W2762699636 hasConcept C80444323 @default.
- W2762699636 hasConceptScore W2762699636C116253237 @default.
- W2762699636 hasConceptScore W2762699636C118615104 @default.
- W2762699636 hasConceptScore W2762699636C136643341 @default.
- W2762699636 hasConceptScore W2762699636C136886441 @default.
- W2762699636 hasConceptScore W2762699636C144024400 @default.
- W2762699636 hasConceptScore W2762699636C156325763 @default.
- W2762699636 hasConceptScore W2762699636C160145156 @default.
- W2762699636 hasConceptScore W2762699636C167729594 @default.
- W2762699636 hasConceptScore W2762699636C184337299 @default.
- W2762699636 hasConceptScore W2762699636C19165224 @default.
- W2762699636 hasConceptScore W2762699636C195344581 @default.
- W2762699636 hasConceptScore W2762699636C199360897 @default.
- W2762699636 hasConceptScore W2762699636C207648694 @default.
- W2762699636 hasConceptScore W2762699636C2524010 @default.
- W2762699636 hasConceptScore W2762699636C2777691520 @default.
- W2762699636 hasConceptScore W2762699636C2780069185 @default.
- W2762699636 hasConceptScore W2762699636C33923547 @default.
- W2762699636 hasConceptScore W2762699636C41008148 @default.
- W2762699636 hasConceptScore W2762699636C80444323 @default.
- W2762699636 hasLocation W27626996361 @default.
- W2762699636 hasOpenAccess W2762699636 @default.
- W2762699636 hasPrimaryLocation W27626996361 @default.
- W2762699636 hasRelatedWork W140047774 @default.
- W2762699636 hasRelatedWork W1487472891 @default.
- W2762699636 hasRelatedWork W1542090010 @default.
- W2762699636 hasRelatedWork W1878411587 @default.
- W2762699636 hasRelatedWork W1981466053 @default.
- W2762699636 hasRelatedWork W2030762481 @default.
- W2762699636 hasRelatedWork W2047218077 @default.
- W2762699636 hasRelatedWork W2053342841 @default.
- W2762699636 hasRelatedWork W2086942791 @default.
- W2762699636 hasRelatedWork W2106305471 @default.
- W2762699636 hasRelatedWork W2113811859 @default.
- W2762699636 hasRelatedWork W2260988793 @default.
- W2762699636 hasRelatedWork W2601426915 @default.
- W2762699636 hasRelatedWork W2808747597 @default.
- W2762699636 hasRelatedWork W2964513622 @default.
- W2762699636 hasRelatedWork W3134644061 @default.
- W2762699636 hasRelatedWork W3150067715 @default.
- W2762699636 hasRelatedWork W339107753 @default.
- W2762699636 hasRelatedWork W8857778 @default.
- W2762699636 hasRelatedWork W1744983872 @default.
- W2762699636 isParatext "false" @default.
- W2762699636 isRetracted "false" @default.
- W2762699636 magId "2762699636" @default.
- W2762699636 workType "book-chapter" @default.