Matches in SemOpenAlex for { <https://semopenalex.org/work/W180191440> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W180191440 abstract "The paper presents a compositional framework for modeling network protocols with symbolic transition graphs. The main advantages of the framework are that it can address dynamic network topologies without requiring additional facilities; and it can work out system models that preserve deadlock freedom, namely the deadlock freedom of a system model depends only on the deadlock freedom of its each task component. A case study with Mobile IP illustrates the effectiveness of the modeling framework. Moreover, with a model checking experiment, it can be shown that the framework can extend the capability of the model checker to deal with more complicated system models than can be dealt with by direct model checking." @default.
- W180191440 created "2016-06-24" @default.
- W180191440 creator A5030772308 @default.
- W180191440 creator A5076223875 @default.
- W180191440 date "2004-01-01" @default.
- W180191440 modified "2023-09-24" @default.
- W180191440 title "compositional analysis of mobile ip with symbolic transition graphs" @default.
- W180191440 cites W1032320040 @default.
- W180191440 cites W1522645051 @default.
- W180191440 cites W2039292268 @default.
- W180191440 cites W204839799 @default.
- W180191440 cites W2069771490 @default.
- W180191440 cites W2153674866 @default.
- W180191440 cites W2263124607 @default.
- W180191440 hasPublicationYear "2004" @default.
- W180191440 type Work @default.
- W180191440 sameAs 180191440 @default.
- W180191440 citedByCount "2" @default.
- W180191440 crossrefType "journal-article" @default.
- W180191440 hasAuthorship W180191440A5030772308 @default.
- W180191440 hasAuthorship W180191440A5076223875 @default.
- W180191440 hasConcept C110251889 @default.
- W180191440 hasConcept C120314980 @default.
- W180191440 hasConcept C121332964 @default.
- W180191440 hasConcept C127413603 @default.
- W180191440 hasConcept C159023740 @default.
- W180191440 hasConcept C168167062 @default.
- W180191440 hasConcept C199845137 @default.
- W180191440 hasConcept C201995342 @default.
- W180191440 hasConcept C2779167558 @default.
- W180191440 hasConcept C2780451532 @default.
- W180191440 hasConcept C31258907 @default.
- W180191440 hasConcept C41008148 @default.
- W180191440 hasConcept C80444323 @default.
- W180191440 hasConcept C97355855 @default.
- W180191440 hasConceptScore W180191440C110251889 @default.
- W180191440 hasConceptScore W180191440C120314980 @default.
- W180191440 hasConceptScore W180191440C121332964 @default.
- W180191440 hasConceptScore W180191440C127413603 @default.
- W180191440 hasConceptScore W180191440C159023740 @default.
- W180191440 hasConceptScore W180191440C168167062 @default.
- W180191440 hasConceptScore W180191440C199845137 @default.
- W180191440 hasConceptScore W180191440C201995342 @default.
- W180191440 hasConceptScore W180191440C2779167558 @default.
- W180191440 hasConceptScore W180191440C2780451532 @default.
- W180191440 hasConceptScore W180191440C31258907 @default.
- W180191440 hasConceptScore W180191440C41008148 @default.
- W180191440 hasConceptScore W180191440C80444323 @default.
- W180191440 hasConceptScore W180191440C97355855 @default.
- W180191440 hasLocation W1801914401 @default.
- W180191440 hasOpenAccess W180191440 @default.
- W180191440 hasPrimaryLocation W1801914401 @default.
- W180191440 hasRelatedWork W2000238032 @default.
- W180191440 hasRelatedWork W2341365821 @default.
- W180191440 hasRelatedWork W2397806545 @default.
- W180191440 hasRelatedWork W2725434906 @default.
- W180191440 hasRelatedWork W2736735473 @default.
- W180191440 hasRelatedWork W2742487203 @default.
- W180191440 hasRelatedWork W2756205415 @default.
- W180191440 hasRelatedWork W2771276284 @default.
- W180191440 hasRelatedWork W2789569061 @default.
- W180191440 hasRelatedWork W2799328696 @default.
- W180191440 hasRelatedWork W2894330012 @default.
- W180191440 hasRelatedWork W2905324743 @default.
- W180191440 hasRelatedWork W2914945775 @default.
- W180191440 hasRelatedWork W2963636095 @default.
- W180191440 hasRelatedWork W2982645032 @default.
- W180191440 hasRelatedWork W2989867306 @default.
- W180191440 hasRelatedWork W3087938547 @default.
- W180191440 hasRelatedWork W3146630798 @default.
- W180191440 hasRelatedWork W3150628158 @default.
- W180191440 hasRelatedWork W2927412616 @default.
- W180191440 isParatext "false" @default.
- W180191440 isRetracted "false" @default.
- W180191440 magId "180191440" @default.
- W180191440 workType "article" @default.