Matches in SemOpenAlex for { <https://semopenalex.org/work/W604094558> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W604094558 endingPage "57" @default.
- W604094558 startingPage "49" @default.
- W604094558 abstract "We present a formal model of the MQ Telemetry Transport version 3.1 protocol based on a timed message-passing process algebra. We explain the modelling choices that we made, including pointing out ambiguities in the original protocol specification, and we carry out a static analysis of the formal protocol model, which is based on an approximation of a name-substitution semantics for algebra. The analysis reveals that the protocol behaves correctly as specified against the first two quality of service modes of operation providing at most once and at least once delivery semantics to the subscribers. However, we find that the third and highest quality of service semantics is prone to error and at best ambiguous in certain aspects of its specification. Finally, we suggest an enhancement of this level of QoS for the protocol." @default.
- W604094558 created "2016-06-24" @default.
- W604094558 creator A5063706430 @default.
- W604094558 date "2016-01-01" @default.
- W604094558 modified "2023-10-01" @default.
- W604094558 title "A formal model and analysis of an IoT protocol" @default.
- W604094558 cites W1972012147 @default.
- W604094558 cites W2049102338 @default.
- W604094558 cites W2057373006 @default.
- W604094558 cites W2105103777 @default.
- W604094558 cites W2105873284 @default.
- W604094558 cites W2109069777 @default.
- W604094558 cites W2111619626 @default.
- W604094558 cites W2128932399 @default.
- W604094558 cites W2131929623 @default.
- W604094558 cites W2132544882 @default.
- W604094558 cites W2885555948 @default.
- W604094558 doi "https://doi.org/10.1016/j.adhoc.2015.05.013" @default.
- W604094558 hasPublicationYear "2016" @default.
- W604094558 type Work @default.
- W604094558 sameAs 604094558 @default.
- W604094558 citedByCount "46" @default.
- W604094558 countsByYear W6040945582016 @default.
- W604094558 countsByYear W6040945582017 @default.
- W604094558 countsByYear W6040945582018 @default.
- W604094558 countsByYear W6040945582019 @default.
- W604094558 countsByYear W6040945582020 @default.
- W604094558 countsByYear W6040945582021 @default.
- W604094558 countsByYear W6040945582022 @default.
- W604094558 countsByYear W6040945582023 @default.
- W604094558 crossrefType "journal-article" @default.
- W604094558 hasAuthorship W604094558A5063706430 @default.
- W604094558 hasBestOaLocation W6040945582 @default.
- W604094558 hasConcept C116253237 @default.
- W604094558 hasConcept C136264566 @default.
- W604094558 hasConcept C142724271 @default.
- W604094558 hasConcept C146499914 @default.
- W604094558 hasConcept C156325763 @default.
- W604094558 hasConcept C161771561 @default.
- W604094558 hasConcept C162324750 @default.
- W604094558 hasConcept C184337299 @default.
- W604094558 hasConcept C199360897 @default.
- W604094558 hasConcept C204787440 @default.
- W604094558 hasConcept C2780378061 @default.
- W604094558 hasConcept C2780385302 @default.
- W604094558 hasConcept C31258907 @default.
- W604094558 hasConcept C41008148 @default.
- W604094558 hasConcept C5119721 @default.
- W604094558 hasConcept C71924100 @default.
- W604094558 hasConcept C75606506 @default.
- W604094558 hasConcept C80444323 @default.
- W604094558 hasConcept C98045186 @default.
- W604094558 hasConceptScore W604094558C116253237 @default.
- W604094558 hasConceptScore W604094558C136264566 @default.
- W604094558 hasConceptScore W604094558C142724271 @default.
- W604094558 hasConceptScore W604094558C146499914 @default.
- W604094558 hasConceptScore W604094558C156325763 @default.
- W604094558 hasConceptScore W604094558C161771561 @default.
- W604094558 hasConceptScore W604094558C162324750 @default.
- W604094558 hasConceptScore W604094558C184337299 @default.
- W604094558 hasConceptScore W604094558C199360897 @default.
- W604094558 hasConceptScore W604094558C204787440 @default.
- W604094558 hasConceptScore W604094558C2780378061 @default.
- W604094558 hasConceptScore W604094558C2780385302 @default.
- W604094558 hasConceptScore W604094558C31258907 @default.
- W604094558 hasConceptScore W604094558C41008148 @default.
- W604094558 hasConceptScore W604094558C5119721 @default.
- W604094558 hasConceptScore W604094558C71924100 @default.
- W604094558 hasConceptScore W604094558C75606506 @default.
- W604094558 hasConceptScore W604094558C80444323 @default.
- W604094558 hasConceptScore W604094558C98045186 @default.
- W604094558 hasLocation W6040945581 @default.
- W604094558 hasLocation W6040945582 @default.
- W604094558 hasOpenAccess W604094558 @default.
- W604094558 hasPrimaryLocation W6040945581 @default.
- W604094558 hasRelatedWork W1554289623 @default.
- W604094558 hasRelatedWork W2080804625 @default.
- W604094558 hasRelatedWork W2097810778 @default.
- W604094558 hasRelatedWork W2124431509 @default.
- W604094558 hasRelatedWork W2146445117 @default.
- W604094558 hasRelatedWork W2156223462 @default.
- W604094558 hasRelatedWork W3000438711 @default.
- W604094558 hasRelatedWork W3183513857 @default.
- W604094558 hasRelatedWork W604094558 @default.
- W604094558 hasRelatedWork W626707627 @default.
- W604094558 hasVolume "36" @default.
- W604094558 isParatext "false" @default.
- W604094558 isRetracted "false" @default.
- W604094558 magId "604094558" @default.
- W604094558 workType "article" @default.