Matches in SemOpenAlex for { <https://semopenalex.org/work/W85190413> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W85190413 abstract "This paper presents the mechanization of a process algebra for Mobile Ad hoc Networks and Wireless Mesh Networks, and the development of a compositional framework for proving invariant properties. Mechanizing the core process algebra in Isabelle/HOL is relatively standard, but its layered structure necessitates special treatment. The control states of reactive processes, such as nodes in a network, are modelled by terms of the process algebra. We propose a technique based on these terms to streamline proofs of inductive invariance. This is not sufficient, however, to state and prove invariants that relate states across multiple processes (entire networks). To this end, we propose a novel compositional technique for lifting global invariants stated at the level of individual nodes to networks of nodes." @default.
- W85190413 created "2016-06-24" @default.
- W85190413 creator A5013333702 @default.
- W85190413 creator A5019570708 @default.
- W85190413 creator A5026224896 @default.
- W85190413 date "2014-01-01" @default.
- W85190413 modified "2023-10-13" @default.
- W85190413 title "Showing Invariance Compositionally for a Process Algebra for Network Protocols" @default.
- W85190413 cites W1149872217 @default.
- W85190413 cites W1482892048 @default.
- W85190413 cites W1499941466 @default.
- W85190413 cites W1504928881 @default.
- W85190413 cites W1528659016 @default.
- W85190413 cites W1531470722 @default.
- W85190413 cites W1537178853 @default.
- W85190413 cites W1540180001 @default.
- W85190413 cites W1573992413 @default.
- W85190413 cites W1579218062 @default.
- W85190413 cites W1626908390 @default.
- W85190413 cites W1674186056 @default.
- W85190413 cites W1719912185 @default.
- W85190413 cites W195012021 @default.
- W85190413 cites W2022589543 @default.
- W85190413 cites W2070750095 @default.
- W85190413 cites W2102258543 @default.
- W85190413 cites W2139609292 @default.
- W85190413 cites W2166944982 @default.
- W85190413 cites W2288997658 @default.
- W85190413 cites W2400842010 @default.
- W85190413 cites W2801155245 @default.
- W85190413 cites W2949483979 @default.
- W85190413 cites W2963951928 @default.
- W85190413 cites W3162919972 @default.
- W85190413 doi "https://doi.org/10.1007/978-3-319-08970-6_10" @default.
- W85190413 hasPublicationYear "2014" @default.
- W85190413 type Work @default.
- W85190413 sameAs 85190413 @default.
- W85190413 citedByCount "6" @default.
- W85190413 countsByYear W851904132014 @default.
- W85190413 countsByYear W851904132016 @default.
- W85190413 countsByYear W851904132017 @default.
- W85190413 crossrefType "book-chapter" @default.
- W85190413 hasAuthorship W85190413A5013333702 @default.
- W85190413 hasAuthorship W85190413A5019570708 @default.
- W85190413 hasAuthorship W85190413A5026224896 @default.
- W85190413 hasBestOaLocation W851904133 @default.
- W85190413 hasConcept C108710211 @default.
- W85190413 hasConcept C136119220 @default.
- W85190413 hasConcept C161771561 @default.
- W85190413 hasConcept C17435882 @default.
- W85190413 hasConcept C190470478 @default.
- W85190413 hasConcept C199360897 @default.
- W85190413 hasConcept C202444582 @default.
- W85190413 hasConcept C2524010 @default.
- W85190413 hasConcept C33923547 @default.
- W85190413 hasConcept C37914503 @default.
- W85190413 hasConcept C41008148 @default.
- W85190413 hasConcept C80444323 @default.
- W85190413 hasConcept C98045186 @default.
- W85190413 hasConceptScore W85190413C108710211 @default.
- W85190413 hasConceptScore W85190413C136119220 @default.
- W85190413 hasConceptScore W85190413C161771561 @default.
- W85190413 hasConceptScore W85190413C17435882 @default.
- W85190413 hasConceptScore W85190413C190470478 @default.
- W85190413 hasConceptScore W85190413C199360897 @default.
- W85190413 hasConceptScore W85190413C202444582 @default.
- W85190413 hasConceptScore W85190413C2524010 @default.
- W85190413 hasConceptScore W85190413C33923547 @default.
- W85190413 hasConceptScore W85190413C37914503 @default.
- W85190413 hasConceptScore W85190413C41008148 @default.
- W85190413 hasConceptScore W85190413C80444323 @default.
- W85190413 hasConceptScore W85190413C98045186 @default.
- W85190413 hasLocation W851904131 @default.
- W85190413 hasLocation W851904132 @default.
- W85190413 hasLocation W851904133 @default.
- W85190413 hasLocation W851904134 @default.
- W85190413 hasOpenAccess W85190413 @default.
- W85190413 hasPrimaryLocation W851904131 @default.
- W85190413 hasRelatedWork W1216298300 @default.
- W85190413 hasRelatedWork W1520408004 @default.
- W85190413 hasRelatedWork W1581380057 @default.
- W85190413 hasRelatedWork W1819460135 @default.
- W85190413 hasRelatedWork W203185895 @default.
- W85190413 hasRelatedWork W2532032684 @default.
- W85190413 hasRelatedWork W2952604455 @default.
- W85190413 hasRelatedWork W3098927713 @default.
- W85190413 hasRelatedWork W4295798319 @default.
- W85190413 hasRelatedWork W4297197915 @default.
- W85190413 isParatext "false" @default.
- W85190413 isRetracted "false" @default.
- W85190413 magId "85190413" @default.
- W85190413 workType "book-chapter" @default.