FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W43104912> ?p ?o ?g. }

• W43104912 abstract "This paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step of the previous algorithms, called the proviso step, that specifies a condition on how a state that closes a loop is expanded. Two phase avoids this step, and uses a new execution approach to obtain the reductions. Two phase can be easily combined with an on-the-fly model-checking algorithm to reduce the memory requirements further. Furthermore a simple but powerful selective-caching scheme can also be added to Two phase. Two phase has been implemented in a model-checker called PV (Protocol Verifier) and is in routine use on large problems." @default.
• W43104912 created "2016-06-24" @default.
• W43104912 creator A5033652560 @default.
• W43104912 creator A5069846379 @default.
• W43104912 date "2003-01-01" @default.
• W43104912 modified "2023-09-27" @default.
• W43104912 title "A Partial Order Reduction Algorithm without the Proviso" @default.
• W43104912 cites W1501368694 @default.
• W43104912 cites W1528441743 @default.
• W43104912 cites W1545792627 @default.
• W43104912 cites W1547793878 @default.
• W43104912 cites W1563242841 @default.
• W43104912 cites W1568729458 @default.
• W43104912 cites W1571819235 @default.
• W43104912 cites W1585422671 @default.
• W43104912 cites W1597231760 @default.
• W43104912 cites W1605593319 @default.
• W43104912 cites W1934074768 @default.
• W43104912 cites W1953283412 @default.
• W43104912 cites W1965309410 @default.
• W43104912 cites W1968552123 @default.
• W43104912 cites W1974817955 @default.
• W43104912 cites W1977553951 @default.
• W43104912 cites W2012935476 @default.
• W43104912 cites W2072062729 @default.
• W43104912 cites W2115309705 @default.
• W43104912 cites W2117189826 @default.
• W43104912 cites W2118382442 @default.
• W43104912 cites W2135392092 @default.
• W43104912 cites W2144690539 @default.
• W43104912 cites W2155077375 @default.
• W43104912 cites W2164989576 @default.
• W43104912 cites W2339741178 @default.
• W43104912 cites W2617927702 @default.
• W43104912 hasPublicationYear "2003" @default.
• W43104912 type Work @default.
• W43104912 sameAs 43104912 @default.
• W43104912 citedByCount "1" @default.
• W43104912 crossrefType "journal-article" @default.
• W43104912 hasAuthorship W43104912A5033652560 @default.
• W43104912 hasAuthorship W43104912A5069846379 @default.
• W43104912 hasConcept C10138342 @default.
• W43104912 hasConcept C110251889 @default.
• W43104912 hasConcept C111335779 @default.
• W43104912 hasConcept C111472728 @default.
• W43104912 hasConcept C11413529 @default.
• W43104912 hasConcept C138885662 @default.
• W43104912 hasConcept C142724271 @default.
• W43104912 hasConcept C162324750 @default.
• W43104912 hasConcept C178790620 @default.
• W43104912 hasConcept C182306322 @default.
• W43104912 hasConcept C185592680 @default.
• W43104912 hasConcept C204787440 @default.
• W43104912 hasConcept C2524010 @default.
• W43104912 hasConcept C2780385302 @default.
• W43104912 hasConcept C2780586882 @default.
• W43104912 hasConcept C33923547 @default.
• W43104912 hasConcept C41008148 @default.
• W43104912 hasConcept C44280652 @default.
• W43104912 hasConcept C48103436 @default.
• W43104912 hasConcept C71924100 @default.
• W43104912 hasConcept C94633896 @default.
• W43104912 hasConceptScore W43104912C10138342 @default.
• W43104912 hasConceptScore W43104912C110251889 @default.
• W43104912 hasConceptScore W43104912C111335779 @default.
• W43104912 hasConceptScore W43104912C111472728 @default.
• W43104912 hasConceptScore W43104912C11413529 @default.
• W43104912 hasConceptScore W43104912C138885662 @default.
• W43104912 hasConceptScore W43104912C142724271 @default.
• W43104912 hasConceptScore W43104912C162324750 @default.
• W43104912 hasConceptScore W43104912C178790620 @default.
• W43104912 hasConceptScore W43104912C182306322 @default.
• W43104912 hasConceptScore W43104912C185592680 @default.
• W43104912 hasConceptScore W43104912C204787440 @default.
• W43104912 hasConceptScore W43104912C2524010 @default.
• W43104912 hasConceptScore W43104912C2780385302 @default.
• W43104912 hasConceptScore W43104912C2780586882 @default.
• W43104912 hasConceptScore W43104912C33923547 @default.
• W43104912 hasConceptScore W43104912C41008148 @default.
• W43104912 hasConceptScore W43104912C44280652 @default.
• W43104912 hasConceptScore W43104912C48103436 @default.
• W43104912 hasConceptScore W43104912C71924100 @default.
• W43104912 hasConceptScore W43104912C94633896 @default.
• W43104912 hasLocation W431049121 @default.
• W43104912 hasOpenAccess W43104912 @default.
• W43104912 hasPrimaryLocation W431049121 @default.
• W43104912 hasRelatedWork W1021521453 @default.
• W43104912 hasRelatedWork W1553574558 @default.
• W43104912 hasRelatedWork W1848035726 @default.
• W43104912 hasRelatedWork W1884784351 @default.
• W43104912 hasRelatedWork W2032153666 @default.
• W43104912 hasRelatedWork W205139584 @default.
• W43104912 hasRelatedWork W2183548685 @default.
• W43104912 hasRelatedWork W2257706352 @default.
• W43104912 hasRelatedWork W2404505569 @default.
• W43104912 hasRelatedWork W2473096724 @default.
• W43104912 hasRelatedWork W2498986521 @default.
• W43104912 hasRelatedWork W2528876656 @default.
• W43104912 hasRelatedWork W2807791464 @default.
• W43104912 hasRelatedWork W2807925054 @default.

• next