Matches in SemOpenAlex for { <https://semopenalex.org/work/W4299848654> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W4299848654 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.
- W4299848654 created "2022-10-03" @default.
- W4299848654 creator A5013333702 @default.
- W4299848654 creator A5019570708 @default.
- W4299848654 creator A5026224896 @default.
- W4299848654 date "2015-12-22" @default.
- W4299848654 modified "2023-10-03" @default.
- W4299848654 title "Mechanizing a Process Algebra for Network Protocols" @default.
- W4299848654 doi "https://doi.org/10.48550/arxiv.1512.07304" @default.
- W4299848654 hasPublicationYear "2015" @default.
- W4299848654 type Work @default.
- W4299848654 citedByCount "0" @default.
- W4299848654 crossrefType "posted-content" @default.
- W4299848654 hasAuthorship W4299848654A5013333702 @default.
- W4299848654 hasAuthorship W4299848654A5019570708 @default.
- W4299848654 hasAuthorship W4299848654A5026224896 @default.
- W4299848654 hasBestOaLocation W42998486541 @default.
- W4299848654 hasConcept C108710211 @default.
- W4299848654 hasConcept C120314980 @default.
- W4299848654 hasConcept C136119220 @default.
- W4299848654 hasConcept C161771561 @default.
- W4299848654 hasConcept C17435882 @default.
- W4299848654 hasConcept C190470478 @default.
- W4299848654 hasConcept C199360897 @default.
- W4299848654 hasConcept C202444582 @default.
- W4299848654 hasConcept C2164484 @default.
- W4299848654 hasConcept C2524010 @default.
- W4299848654 hasConcept C33923547 @default.
- W4299848654 hasConcept C37914503 @default.
- W4299848654 hasConcept C41008148 @default.
- W4299848654 hasConcept C76155785 @default.
- W4299848654 hasConcept C80444323 @default.
- W4299848654 hasConcept C98045186 @default.
- W4299848654 hasConceptScore W4299848654C108710211 @default.
- W4299848654 hasConceptScore W4299848654C120314980 @default.
- W4299848654 hasConceptScore W4299848654C136119220 @default.
- W4299848654 hasConceptScore W4299848654C161771561 @default.
- W4299848654 hasConceptScore W4299848654C17435882 @default.
- W4299848654 hasConceptScore W4299848654C190470478 @default.
- W4299848654 hasConceptScore W4299848654C199360897 @default.
- W4299848654 hasConceptScore W4299848654C202444582 @default.
- W4299848654 hasConceptScore W4299848654C2164484 @default.
- W4299848654 hasConceptScore W4299848654C2524010 @default.
- W4299848654 hasConceptScore W4299848654C33923547 @default.
- W4299848654 hasConceptScore W4299848654C37914503 @default.
- W4299848654 hasConceptScore W4299848654C41008148 @default.
- W4299848654 hasConceptScore W4299848654C76155785 @default.
- W4299848654 hasConceptScore W4299848654C80444323 @default.
- W4299848654 hasConceptScore W4299848654C98045186 @default.
- W4299848654 hasLocation W42998486541 @default.
- W4299848654 hasLocation W42998486542 @default.
- W4299848654 hasLocation W42998486543 @default.
- W4299848654 hasLocation W42998486544 @default.
- W4299848654 hasOpenAccess W4299848654 @default.
- W4299848654 hasPrimaryLocation W42998486541 @default.
- W4299848654 hasRelatedWork W1489787855 @default.
- W4299848654 hasRelatedWork W1596531288 @default.
- W4299848654 hasRelatedWork W1954655008 @default.
- W4299848654 hasRelatedWork W1997440650 @default.
- W4299848654 hasRelatedWork W2532032684 @default.
- W4299848654 hasRelatedWork W2748077663 @default.
- W4299848654 hasRelatedWork W2950028700 @default.
- W4299848654 hasRelatedWork W2951835544 @default.
- W4299848654 hasRelatedWork W3187752969 @default.
- W4299848654 hasRelatedWork W4301176064 @default.
- W4299848654 isParatext "false" @default.
- W4299848654 isRetracted "false" @default.
- W4299848654 workType "article" @default.