Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000419603> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2000419603 endingPage "240" @default.
- W2000419603 startingPage "226" @default.
- W2000419603 abstract "Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast networks have focused on fixed connectivities, but this is unsuitable in the case of wireless networks where the dynamically changing network topology is a crucial ingredient. In this paper we develop a static analysis that automatically constructs an abstract transition system, labelled by actions and connectivity information, to yield a mobility-preserving finite abstraction of the behaviour of a network expressed in a process calculus with asynchronous local broadcast. Furthermore, we use model checking based on a 3-valued temporal logic to distinguish network behaviour which differs under changing connectivity patterns." @default.
- W2000419603 created "2016-06-24" @default.
- W2000419603 creator A5012948241 @default.
- W2000419603 creator A5039237768 @default.
- W2000419603 creator A5089639449 @default.
- W2000419603 date "2007-08-18" @default.
- W2000419603 modified "2023-09-25" @default.
- W2000419603 title "Topology-Dependent Abstractions of Broadcast Networks" @default.
- W2000419603 cites W1498792107 @default.
- W2000419603 cites W1553894716 @default.
- W2000419603 cites W1555593767 @default.
- W2000419603 cites W1602925513 @default.
- W2000419603 cites W2014764321 @default.
- W2000419603 cites W2020039862 @default.
- W2000419603 cites W2033871392 @default.
- W2000419603 cites W2084806691 @default.
- W2000419603 cites W2111819951 @default.
- W2000419603 cites W2121029475 @default.
- W2000419603 cites W2125138785 @default.
- W2000419603 cites W2133474066 @default.
- W2000419603 cites W2135892629 @default.
- W2000419603 cites W4241704499 @default.
- W2000419603 doi "https://doi.org/10.1007/978-3-540-74407-8_16" @default.
- W2000419603 hasPublicationYear "2007" @default.
- W2000419603 type Work @default.
- W2000419603 sameAs 2000419603 @default.
- W2000419603 citedByCount "5" @default.
- W2000419603 crossrefType "book-chapter" @default.
- W2000419603 hasAuthorship W2000419603A5012948241 @default.
- W2000419603 hasAuthorship W2000419603A5039237768 @default.
- W2000419603 hasAuthorship W2000419603A5089639449 @default.
- W2000419603 hasBestOaLocation W20004196032 @default.
- W2000419603 hasConcept C108037233 @default.
- W2000419603 hasConcept C110251889 @default.
- W2000419603 hasConcept C111472728 @default.
- W2000419603 hasConcept C114614502 @default.
- W2000419603 hasConcept C120314980 @default.
- W2000419603 hasConcept C124304363 @default.
- W2000419603 hasConcept C138885662 @default.
- W2000419603 hasConcept C151319957 @default.
- W2000419603 hasConcept C184337299 @default.
- W2000419603 hasConcept C184720557 @default.
- W2000419603 hasConcept C199360897 @default.
- W2000419603 hasConcept C199845137 @default.
- W2000419603 hasConcept C2779167558 @default.
- W2000419603 hasConcept C31258907 @default.
- W2000419603 hasConcept C33923547 @default.
- W2000419603 hasConcept C41008148 @default.
- W2000419603 hasConcept C555944384 @default.
- W2000419603 hasConcept C76155785 @default.
- W2000419603 hasConcept C80444323 @default.
- W2000419603 hasConcept C83529365 @default.
- W2000419603 hasConcept C98045186 @default.
- W2000419603 hasConceptScore W2000419603C108037233 @default.
- W2000419603 hasConceptScore W2000419603C110251889 @default.
- W2000419603 hasConceptScore W2000419603C111472728 @default.
- W2000419603 hasConceptScore W2000419603C114614502 @default.
- W2000419603 hasConceptScore W2000419603C120314980 @default.
- W2000419603 hasConceptScore W2000419603C124304363 @default.
- W2000419603 hasConceptScore W2000419603C138885662 @default.
- W2000419603 hasConceptScore W2000419603C151319957 @default.
- W2000419603 hasConceptScore W2000419603C184337299 @default.
- W2000419603 hasConceptScore W2000419603C184720557 @default.
- W2000419603 hasConceptScore W2000419603C199360897 @default.
- W2000419603 hasConceptScore W2000419603C199845137 @default.
- W2000419603 hasConceptScore W2000419603C2779167558 @default.
- W2000419603 hasConceptScore W2000419603C31258907 @default.
- W2000419603 hasConceptScore W2000419603C33923547 @default.
- W2000419603 hasConceptScore W2000419603C41008148 @default.
- W2000419603 hasConceptScore W2000419603C555944384 @default.
- W2000419603 hasConceptScore W2000419603C76155785 @default.
- W2000419603 hasConceptScore W2000419603C80444323 @default.
- W2000419603 hasConceptScore W2000419603C83529365 @default.
- W2000419603 hasConceptScore W2000419603C98045186 @default.
- W2000419603 hasLocation W20004196031 @default.
- W2000419603 hasLocation W20004196032 @default.
- W2000419603 hasOpenAccess W2000419603 @default.
- W2000419603 hasPrimaryLocation W20004196031 @default.
- W2000419603 hasRelatedWork W2009866036 @default.
- W2000419603 hasRelatedWork W2105941113 @default.
- W2000419603 hasRelatedWork W2149515428 @default.
- W2000419603 hasRelatedWork W2177212599 @default.
- W2000419603 hasRelatedWork W2364921833 @default.
- W2000419603 hasRelatedWork W2977476708 @default.
- W2000419603 hasRelatedWork W3209871473 @default.
- W2000419603 hasRelatedWork W4286894913 @default.
- W2000419603 hasRelatedWork W1584114856 @default.
- W2000419603 hasRelatedWork W2586039792 @default.
- W2000419603 isParatext "false" @default.
- W2000419603 isRetracted "false" @default.
- W2000419603 magId "2000419603" @default.
- W2000419603 workType "book-chapter" @default.