Matches in SemOpenAlex for { <https://semopenalex.org/work/W2288997658> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W2288997658 abstract "AWN is a process algebra developed for modelling and analysing protocols for Mobile Ad hoc Networks (MANETs) and Wireless Mesh Networks (WMNs). AWN models comprise five distinct layers: sequential processes, local parallel compositions, nodes, partial networks, and complete networks.This development mechanises the original operational semantics of AWN and introduces a variant 'open' operational semantics that enables the compositional statement and proof of invariants across distinct network nodes. It supports labels (for weakening invariants) and (abstract) data state manipulations. A framework for compositional invariant proofs is developed, including a tactic (inv_cterms) for inductive invariant proofs of sequential processes, lifting rules for the open versions of the higher layers, and a rule for transferring lifted properties back to the standard semantics. A notion of 'control terms' reduces proof obligations to the subset of subterms that act directly (in contrast to operators for combining terms and joining processes)." @default.
- W2288997658 created "2016-06-24" @default.
- W2288997658 creator A5013333702 @default.
- W2288997658 date "2014-08-03" @default.
- W2288997658 modified "2023-10-16" @default.
- W2288997658 title "Mechanization of the Algebra for Wireless Networks (AWN)" @default.
- W2288997658 cites W2963951928 @default.
- W2288997658 cites W85190413 @default.
- W2288997658 hasPublicationYear "2014" @default.
- W2288997658 type Work @default.
- W2288997658 sameAs 2288997658 @default.
- W2288997658 citedByCount "2" @default.
- W2288997658 countsByYear W22889976582014 @default.
- W2288997658 crossrefType "other" @default.
- W2288997658 hasAuthorship W2288997658A5013333702 @default.
- W2288997658 hasBestOaLocation W22889976581 @default.
- W2288997658 hasConcept C108037233 @default.
- W2288997658 hasConcept C136119220 @default.
- W2288997658 hasConcept C202444582 @default.
- W2288997658 hasConcept C31258907 @default.
- W2288997658 hasConcept C33923547 @default.
- W2288997658 hasConcept C41008148 @default.
- W2288997658 hasConcept C555944384 @default.
- W2288997658 hasConcept C76155785 @default.
- W2288997658 hasConceptScore W2288997658C108037233 @default.
- W2288997658 hasConceptScore W2288997658C136119220 @default.
- W2288997658 hasConceptScore W2288997658C202444582 @default.
- W2288997658 hasConceptScore W2288997658C31258907 @default.
- W2288997658 hasConceptScore W2288997658C33923547 @default.
- W2288997658 hasConceptScore W2288997658C41008148 @default.
- W2288997658 hasConceptScore W2288997658C555944384 @default.
- W2288997658 hasConceptScore W2288997658C76155785 @default.
- W2288997658 hasLocation W22889976581 @default.
- W2288997658 hasOpenAccess W2288997658 @default.
- W2288997658 hasPrimaryLocation W22889976581 @default.
- W2288997658 hasRelatedWork W1908608100 @default.
- W2288997658 hasRelatedWork W1969993354 @default.
- W2288997658 hasRelatedWork W2061273503 @default.
- W2288997658 hasRelatedWork W2130966263 @default.
- W2288997658 hasRelatedWork W2295679373 @default.
- W2288997658 hasRelatedWork W2512844215 @default.
- W2288997658 hasRelatedWork W2514632685 @default.
- W2288997658 hasRelatedWork W2537178846 @default.
- W2288997658 hasRelatedWork W2601964555 @default.
- W2288997658 hasRelatedWork W2607247987 @default.
- W2288997658 isParatext "false" @default.
- W2288997658 isRetracted "false" @default.
- W2288997658 magId "2288997658" @default.
- W2288997658 workType "other" @default.