FRINK Linked Data Fragments server

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

• W1728128845 endingPage "172" @default.
• W1728128845 startingPage "157" @default.
• W1728128845 abstract "Explicit state methods have proven useful in verifying safety-critical systems containing concurrent processes that run asynchronously and communicate. Such methods consist of inspecting the states and transitions of a graph representation of the system. Their main limitation is state explosion, which happens when the graph is too large to be stored in the available computer memory. Several techniques can be used to palliate state explosion, such as on-the-fly verification, compositional verification, and partial order reductions. In this paper, we propose a new technique of partial order reductions based on compositional confluence detection (Ccd), which can be combined with the techniques mentioned above. Ccd is based upon a generalization of the notion of confluence defined by Milner and exploits the fact that synchronizing transitions that are confluent in the individual processes yield a confluent transition in the system graph. It thus consists of analysing the transitions of the individual process graphs and the synchronization structure to identify such confluent transitions compositionally. Under some additional conditions, the confluent transitions can be given priority over the other transitions, thus enabling graph reductions. We propose two such additional conditions: one ensuring that the generated graph is equivalent to the original system graph modulo branching bisimulation, and one ensuring that the generated graph contains the same deadlock states as the original system graph. We also describe how Ccd-based reductions were implemented in the Cadp toolbox, and present examples and a case study in which adding Ccd improves reductions with respect to compositional verification and other partial order reductions." @default.
• W1728128845 created "2016-06-24" @default.
• W1728128845 creator A5068981088 @default.
• W1728128845 creator A5075433817 @default.
• W1728128845 date "2009-01-01" @default.
• W1728128845 modified "2023-10-17" @default.
• W1728128845 title "Partial Order Reductions Using Compositional Confluence Detection" @default.
• W1728128845 cites W1483422122 @default.
• W1728128845 cites W1496552468 @default.
• W1728128845 cites W1498760855 @default.
• W1728128845 cites W1500756778 @default.
• W1728128845 cites W1507281497 @default.
• W1728128845 cites W1513924733 @default.
• W1728128845 cites W1516139305 @default.
• W1728128845 cites W1530087756 @default.
• W1728128845 cites W1533440733 @default.
• W1728128845 cites W1539400854 @default.
• W1728128845 cites W1589276513 @default.
• W1728128845 cites W1596931967 @default.
• W1728128845 cites W16120781 @default.
• W1728128845 cites W1702401680 @default.
• W1728128845 cites W1728128845 @default.
• W1728128845 cites W1980377655 @default.
• W1728128845 cites W1987298286 @default.
• W1728128845 cites W2011778465 @default.
• W1728128845 cites W2079671561 @default.
• W1728128845 cites W2100580381 @default.
• W1728128845 cites W2102097307 @default.
• W1728128845 cites W2166150286 @default.
• W1728128845 cites W2235903980 @default.
• W1728128845 cites W2911867855 @default.
• W1728128845 cites W4206697809 @default.
• W1728128845 cites W4237631564 @default.
• W1728128845 cites W4242025255 @default.
• W1728128845 cites W4249906489 @default.
• W1728128845 cites W4254030842 @default.
• W1728128845 doi "https://doi.org/10.1007/978-3-642-05089-3_11" @default.
• W1728128845 hasPublicationYear "2009" @default.
• W1728128845 type Work @default.
• W1728128845 sameAs 1728128845 @default.
• W1728128845 citedByCount "9" @default.
• W1728128845 countsByYear W17281288452012 @default.
• W1728128845 countsByYear W17281288452013 @default.
• W1728128845 countsByYear W17281288452014 @default.
• W1728128845 countsByYear W17281288452022 @default.
• W1728128845 crossrefType "book-chapter" @default.
• W1728128845 hasAuthorship W1728128845A5068981088 @default.
• W1728128845 hasAuthorship W1728128845A5075433817 @default.
• W1728128845 hasBestOaLocation W17281288452 @default.
• W1728128845 hasConcept C110251889 @default.
• W1728128845 hasConcept C11413529 @default.
• W1728128845 hasConcept C118615104 @default.
• W1728128845 hasConcept C132525143 @default.
• W1728128845 hasConcept C135315306 @default.
• W1728128845 hasConcept C199360897 @default.
• W1728128845 hasConcept C33923547 @default.
• W1728128845 hasConcept C41008148 @default.
• W1728128845 hasConcept C54732982 @default.
• W1728128845 hasConcept C558772884 @default.
• W1728128845 hasConcept C77906462 @default.
• W1728128845 hasConcept C80444323 @default.
• W1728128845 hasConcept C94633896 @default.
• W1728128845 hasConceptScore W1728128845C110251889 @default.
• W1728128845 hasConceptScore W1728128845C11413529 @default.
• W1728128845 hasConceptScore W1728128845C118615104 @default.
• W1728128845 hasConceptScore W1728128845C132525143 @default.
• W1728128845 hasConceptScore W1728128845C135315306 @default.
• W1728128845 hasConceptScore W1728128845C199360897 @default.
• W1728128845 hasConceptScore W1728128845C33923547 @default.
• W1728128845 hasConceptScore W1728128845C41008148 @default.
• W1728128845 hasConceptScore W1728128845C54732982 @default.
• W1728128845 hasConceptScore W1728128845C558772884 @default.
• W1728128845 hasConceptScore W1728128845C77906462 @default.
• W1728128845 hasConceptScore W1728128845C80444323 @default.
• W1728128845 hasConceptScore W1728128845C94633896 @default.
• W1728128845 hasLocation W17281288451 @default.
• W1728128845 hasLocation W17281288452 @default.
• W1728128845 hasLocation W17281288453 @default.
• W1728128845 hasLocation W17281288454 @default.
• W1728128845 hasLocation W17281288455 @default.
• W1728128845 hasLocation W17281288456 @default.
• W1728128845 hasLocation W17281288457 @default.
• W1728128845 hasLocation W17281288458 @default.
• W1728128845 hasOpenAccess W1728128845 @default.
• W1728128845 hasPrimaryLocation W17281288451 @default.
• W1728128845 hasRelatedWork W1491530003 @default.
• W1728128845 hasRelatedWork W1569472116 @default.
• W1728128845 hasRelatedWork W1852104647 @default.
• W1728128845 hasRelatedWork W1967272382 @default.
• W1728128845 hasRelatedWork W2004015019 @default.
• W1728128845 hasRelatedWork W2316213087 @default.
• W1728128845 hasRelatedWork W2803604491 @default.
• W1728128845 hasRelatedWork W2963525026 @default.
• W1728128845 hasRelatedWork W4300829766 @default.
• W1728128845 hasRelatedWork W4312716460 @default.
• W1728128845 isParatext "false" @default.
• W1728128845 isRetracted "false" @default.
• W1728128845 magId "1728128845" @default.

• next