Matches in SemOpenAlex for { <https://semopenalex.org/work/W1838789764> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1838789764 abstract "An enhanced compositional framework is presented for modelling network protocols with symbolic transition graphs. In the context of the modelling framework, a sufficient condition for deadlock freedom of network protocols, namely interoperability, is reconstructed in a more concise way with an advantage that it allows for symbolic verification without referring to protocol states. Furthermore, a case study with Mobile IPv6 illustrates the effectiveness of the improved modelling framework and also discloses some infrangibilities of Mobile IPv6 in the sense that it can not maintain the binding coherency all the time, which may result in unreachable or unstable routes." @default.
- W1838789764 created "2016-06-24" @default.
- W1838789764 creator A5009562280 @default.
- W1838789764 creator A5030772308 @default.
- W1838789764 date "2005-01-01" @default.
- W1838789764 modified "2023-09-24" @default.
- W1838789764 title "Compositional Modelling and Verification of IPv6 Mobility" @default.
- W1838789764 cites W180191440 @default.
- W1838789764 cites W2150220944 @default.
- W1838789764 cites W2773436718 @default.
- W1838789764 cites W15800533 @default.
- W1838789764 doi "https://doi.org/10.1007/11562436_44" @default.
- W1838789764 hasPublicationYear "2005" @default.
- W1838789764 type Work @default.
- W1838789764 sameAs 1838789764 @default.
- W1838789764 citedByCount "1" @default.
- W1838789764 countsByYear W18387897642015 @default.
- W1838789764 crossrefType "book-chapter" @default.
- W1838789764 hasAuthorship W1838789764A5009562280 @default.
- W1838789764 hasAuthorship W1838789764A5030772308 @default.
- W1838789764 hasBestOaLocation W18387897641 @default.
- W1838789764 hasConcept C110251889 @default.
- W1838789764 hasConcept C110875604 @default.
- W1838789764 hasConcept C111919701 @default.
- W1838789764 hasConcept C120314980 @default.
- W1838789764 hasConcept C142724271 @default.
- W1838789764 hasConcept C144543869 @default.
- W1838789764 hasConcept C151730666 @default.
- W1838789764 hasConcept C159023740 @default.
- W1838789764 hasConcept C199360897 @default.
- W1838789764 hasConcept C20136886 @default.
- W1838789764 hasConcept C204787440 @default.
- W1838789764 hasConcept C2779343474 @default.
- W1838789764 hasConcept C2780385302 @default.
- W1838789764 hasConcept C31258907 @default.
- W1838789764 hasConcept C38677869 @default.
- W1838789764 hasConcept C41008148 @default.
- W1838789764 hasConcept C71924100 @default.
- W1838789764 hasConcept C80444323 @default.
- W1838789764 hasConcept C82203111 @default.
- W1838789764 hasConcept C84555802 @default.
- W1838789764 hasConcept C86803240 @default.
- W1838789764 hasConceptScore W1838789764C110251889 @default.
- W1838789764 hasConceptScore W1838789764C110875604 @default.
- W1838789764 hasConceptScore W1838789764C111919701 @default.
- W1838789764 hasConceptScore W1838789764C120314980 @default.
- W1838789764 hasConceptScore W1838789764C142724271 @default.
- W1838789764 hasConceptScore W1838789764C144543869 @default.
- W1838789764 hasConceptScore W1838789764C151730666 @default.
- W1838789764 hasConceptScore W1838789764C159023740 @default.
- W1838789764 hasConceptScore W1838789764C199360897 @default.
- W1838789764 hasConceptScore W1838789764C20136886 @default.
- W1838789764 hasConceptScore W1838789764C204787440 @default.
- W1838789764 hasConceptScore W1838789764C2779343474 @default.
- W1838789764 hasConceptScore W1838789764C2780385302 @default.
- W1838789764 hasConceptScore W1838789764C31258907 @default.
- W1838789764 hasConceptScore W1838789764C38677869 @default.
- W1838789764 hasConceptScore W1838789764C41008148 @default.
- W1838789764 hasConceptScore W1838789764C71924100 @default.
- W1838789764 hasConceptScore W1838789764C80444323 @default.
- W1838789764 hasConceptScore W1838789764C82203111 @default.
- W1838789764 hasConceptScore W1838789764C84555802 @default.
- W1838789764 hasConceptScore W1838789764C86803240 @default.
- W1838789764 hasLocation W18387897641 @default.
- W1838789764 hasOpenAccess W1838789764 @default.
- W1838789764 hasPrimaryLocation W18387897641 @default.
- W1838789764 hasRelatedWork W1527862632 @default.
- W1838789764 hasRelatedWork W1652311832 @default.
- W1838789764 hasRelatedWork W2118300983 @default.
- W1838789764 hasRelatedWork W2135396778 @default.
- W1838789764 hasRelatedWork W2166247150 @default.
- W1838789764 hasRelatedWork W2243428364 @default.
- W1838789764 hasRelatedWork W2462453872 @default.
- W1838789764 hasRelatedWork W3207171446 @default.
- W1838789764 hasRelatedWork W4243252198 @default.
- W1838789764 hasRelatedWork W4245713008 @default.
- W1838789764 isParatext "false" @default.
- W1838789764 isRetracted "false" @default.
- W1838789764 magId "1838789764" @default.
- W1838789764 workType "book-chapter" @default.