Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100584095> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3100584095 abstract "We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer protocols specified in this framework. To show applicability we model and analyse two versions of the Carrier-Sense Multiple Access with Collision Avoidance (CSMA/CA) protocol. Our analysis confirms the hidden station problem for the version without virtual carrier sensing. However, we show that the version with virtual carrier sensing not only overcomes this problem, but also the exposed station problem with probability 1. Yet the protocol cannot guarantee packet delivery, not even with probability 1." @default.
- W3100584095 created "2020-11-23" @default.
- W3100584095 creator A5026224896 @default.
- W3100584095 creator A5044152080 @default.
- W3100584095 creator A5048229897 @default.
- W3100584095 date "2019-01-01" @default.
- W3100584095 modified "2023-10-16" @default.
- W3100584095 title "A Process Algebra for Link Layer Protocols" @default.
- W3100584095 cites W1483980066 @default.
- W3100584095 cites W1554767603 @default.
- W3100584095 cites W1588042940 @default.
- W3100584095 cites W1673008520 @default.
- W3100584095 cites W1805999688 @default.
- W3100584095 cites W1988873236 @default.
- W3100584095 cites W1990328104 @default.
- W3100584095 cites W2023808162 @default.
- W3100584095 cites W2039139411 @default.
- W3100584095 cites W2049318064 @default.
- W3100584095 cites W2070157304 @default.
- W3100584095 cites W2101269152 @default.
- W3100584095 cites W2107144615 @default.
- W3100584095 cites W2137013587 @default.
- W3100584095 cites W2162598825 @default.
- W3100584095 cites W2546429222 @default.
- W3100584095 cites W2978663703 @default.
- W3100584095 cites W4230482369 @default.
- W3100584095 cites W4251402986 @default.
- W3100584095 doi "https://doi.org/10.1007/978-3-030-17184-1_24" @default.
- W3100584095 hasPublicationYear "2019" @default.
- W3100584095 type Work @default.
- W3100584095 sameAs 3100584095 @default.
- W3100584095 citedByCount "1" @default.
- W3100584095 countsByYear W31005840952020 @default.
- W3100584095 crossrefType "book-chapter" @default.
- W3100584095 hasAuthorship W3100584095A5026224896 @default.
- W3100584095 hasAuthorship W3100584095A5044152080 @default.
- W3100584095 hasAuthorship W3100584095A5048229897 @default.
- W3100584095 hasBestOaLocation W31005840951 @default.
- W3100584095 hasConcept C120314980 @default.
- W3100584095 hasConcept C12570599 @default.
- W3100584095 hasConcept C126042441 @default.
- W3100584095 hasConcept C142724271 @default.
- W3100584095 hasConcept C15569618 @default.
- W3100584095 hasConcept C158379750 @default.
- W3100584095 hasConcept C161771561 @default.
- W3100584095 hasConcept C178790620 @default.
- W3100584095 hasConcept C185592680 @default.
- W3100584095 hasConcept C199360897 @default.
- W3100584095 hasConcept C204787440 @default.
- W3100584095 hasConcept C2778753846 @default.
- W3100584095 hasConcept C2779227376 @default.
- W3100584095 hasConcept C2780385302 @default.
- W3100584095 hasConcept C31258907 @default.
- W3100584095 hasConcept C41008148 @default.
- W3100584095 hasConcept C71924100 @default.
- W3100584095 hasConcept C80444323 @default.
- W3100584095 hasConcept C98045186 @default.
- W3100584095 hasConceptScore W3100584095C120314980 @default.
- W3100584095 hasConceptScore W3100584095C12570599 @default.
- W3100584095 hasConceptScore W3100584095C126042441 @default.
- W3100584095 hasConceptScore W3100584095C142724271 @default.
- W3100584095 hasConceptScore W3100584095C15569618 @default.
- W3100584095 hasConceptScore W3100584095C158379750 @default.
- W3100584095 hasConceptScore W3100584095C161771561 @default.
- W3100584095 hasConceptScore W3100584095C178790620 @default.
- W3100584095 hasConceptScore W3100584095C185592680 @default.
- W3100584095 hasConceptScore W3100584095C199360897 @default.
- W3100584095 hasConceptScore W3100584095C204787440 @default.
- W3100584095 hasConceptScore W3100584095C2778753846 @default.
- W3100584095 hasConceptScore W3100584095C2779227376 @default.
- W3100584095 hasConceptScore W3100584095C2780385302 @default.
- W3100584095 hasConceptScore W3100584095C31258907 @default.
- W3100584095 hasConceptScore W3100584095C41008148 @default.
- W3100584095 hasConceptScore W3100584095C71924100 @default.
- W3100584095 hasConceptScore W3100584095C80444323 @default.
- W3100584095 hasConceptScore W3100584095C98045186 @default.
- W3100584095 hasLocation W31005840951 @default.
- W3100584095 hasLocation W31005840952 @default.
- W3100584095 hasLocation W31005840953 @default.
- W3100584095 hasLocation W31005840954 @default.
- W3100584095 hasOpenAccess W3100584095 @default.
- W3100584095 hasPrimaryLocation W31005840951 @default.
- W3100584095 hasRelatedWork W1582880497 @default.
- W3100584095 hasRelatedWork W1814871225 @default.
- W3100584095 hasRelatedWork W1957925924 @default.
- W3100584095 hasRelatedWork W2020925319 @default.
- W3100584095 hasRelatedWork W2218352356 @default.
- W3100584095 hasRelatedWork W2355034373 @default.
- W3100584095 hasRelatedWork W2363948996 @default.
- W3100584095 hasRelatedWork W2951800279 @default.
- W3100584095 hasRelatedWork W3100584095 @default.
- W3100584095 hasRelatedWork W39172287 @default.
- W3100584095 isParatext "false" @default.
- W3100584095 isRetracted "false" @default.
- W3100584095 magId "3100584095" @default.
- W3100584095 workType "book-chapter" @default.