FRINK Linked Data Fragments server

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

• W2912175166 endingPage "126" @default.
• W2912175166 startingPage "111" @default.
• W2912175166 abstract "Compositional aggregation is a technique to palliate state explosion --the phenomenon that the behaviour graph of a parallel composition of asynchronous processes grows exponentially with the number of processes -- which is the main drawback of explicit-state verification. It consists in building the behaviour graph by incrementally composing and minimizing parts of the composition modulo an equivalence relation. Heuristics have been proposed for finding an appropriate composition order that keeps the size of the largest intermediate graph small enough. Yet the underlying composition models are not general enough for systems involving elaborate forms of synchronization, such as multiway and/or nondeterministic synchronizations. We overcome this by proposing a generalization of compositional aggregation that applies to an expressive composition model based on synchronization vectors, subsuming many composition operators. Unlike some algebraic composition models, this model enables any composition order to be used. We also present an implementation of this approach within the Cadp verification toolbox in the form of a new operator called smart reduction, as well as experimental results assessing the efficiency of smart reduction." @default.
• W2912175166 created "2019-02-21" @default.
• W2912175166 creator A5031612524 @default.
• W2912175166 creator A5075433817 @default.
• W2912175166 date "2011-03-26" @default.
• W2912175166 modified "2023-10-17" @default.
• W2912175166 title "Smart reduction" @default.
• W2912175166 cites W1483422122 @default.
• W2912175166 cites W1487084731 @default.
• W2912175166 cites W1496552468 @default.
• W2912175166 cites W1507281497 @default.
• W2912175166 cites W1516139305 @default.
• W2912175166 cites W1545438004 @default.
• W2912175166 cites W1556549114 @default.
• W2912175166 cites W1562046958 @default.
• W2912175166 cites W1589276513 @default.
• W2912175166 cites W1595574093 @default.
• W2912175166 cites W1711877719 @default.
• W2912175166 cites W1859526867 @default.
• W2912175166 cites W1981626968 @default.
• W2912175166 cites W1987298286 @default.
• W2912175166 cites W1988110359 @default.
• W2912175166 cites W2004446210 @default.
• W2912175166 cites W2041669452 @default.
• W2912175166 cites W2092971419 @default.
• W2912175166 cites W2109615829 @default.
• W2912175166 cites W2110425399 @default.
• W2912175166 cites W2126438238 @default.
• W2912175166 cites W2130793115 @default.
• W2912175166 cites W2137865376 @default.
• W2912175166 cites W2142486837 @default.
• W2912175166 cites W2146049822 @default.
• W2912175166 cites W2158143875 @default.
• W2912175166 hasPublicationYear "2011" @default.
• W2912175166 type Work @default.
• W2912175166 sameAs 2912175166 @default.
• W2912175166 citedByCount "5" @default.
• W2912175166 countsByYear W29121751662012 @default.
• W2912175166 countsByYear W29121751662013 @default.
• W2912175166 countsByYear W29121751662014 @default.
• W2912175166 countsByYear W29121751662015 @default.
• W2912175166 crossrefType "proceedings-article" @default.
• W2912175166 hasAuthorship W2912175166A5031612524 @default.
• W2912175166 hasAuthorship W2912175166A5075433817 @default.
• W2912175166 hasConcept C110251889 @default.
• W2912175166 hasConcept C111335779 @default.
• W2912175166 hasConcept C11413529 @default.
• W2912175166 hasConcept C118615104 @default.
• W2912175166 hasConcept C127162648 @default.
• W2912175166 hasConcept C132525143 @default.
• W2912175166 hasConcept C138885662 @default.
• W2912175166 hasConcept C151319957 @default.
• W2912175166 hasConcept C156103551 @default.
• W2912175166 hasConcept C176181172 @default.
• W2912175166 hasConcept C2524010 @default.
• W2912175166 hasConcept C2778562939 @default.
• W2912175166 hasConcept C31258907 @default.
• W2912175166 hasConcept C33923547 @default.
• W2912175166 hasConcept C40231798 @default.
• W2912175166 hasConcept C41008148 @default.
• W2912175166 hasConcept C41895202 @default.
• W2912175166 hasConcept C80444323 @default.
• W2912175166 hasConcept C94633896 @default.
• W2912175166 hasConceptScore W2912175166C110251889 @default.
• W2912175166 hasConceptScore W2912175166C111335779 @default.
• W2912175166 hasConceptScore W2912175166C11413529 @default.
• W2912175166 hasConceptScore W2912175166C118615104 @default.
• W2912175166 hasConceptScore W2912175166C127162648 @default.
• W2912175166 hasConceptScore W2912175166C132525143 @default.
• W2912175166 hasConceptScore W2912175166C138885662 @default.
• W2912175166 hasConceptScore W2912175166C151319957 @default.
• W2912175166 hasConceptScore W2912175166C156103551 @default.
• W2912175166 hasConceptScore W2912175166C176181172 @default.
• W2912175166 hasConceptScore W2912175166C2524010 @default.
• W2912175166 hasConceptScore W2912175166C2778562939 @default.
• W2912175166 hasConceptScore W2912175166C31258907 @default.
• W2912175166 hasConceptScore W2912175166C33923547 @default.
• W2912175166 hasConceptScore W2912175166C40231798 @default.
• W2912175166 hasConceptScore W2912175166C41008148 @default.
• W2912175166 hasConceptScore W2912175166C41895202 @default.
• W2912175166 hasConceptScore W2912175166C80444323 @default.
• W2912175166 hasConceptScore W2912175166C94633896 @default.
• W2912175166 hasLocation W29121751661 @default.
• W2912175166 hasOpenAccess W2912175166 @default.
• W2912175166 hasPrimaryLocation W29121751661 @default.
• W2912175166 hasRelatedWork W1483422122 @default.
• W2912175166 hasRelatedWork W1496552468 @default.
• W2912175166 hasRelatedWork W1498432697 @default.
• W2912175166 hasRelatedWork W1498760855 @default.
• W2912175166 hasRelatedWork W1503973138 @default.
• W2912175166 hasRelatedWork W1506127417 @default.
• W2912175166 hasRelatedWork W1516139305 @default.
• W2912175166 hasRelatedWork W1522479539 @default.
• W2912175166 hasRelatedWork W1533440733 @default.
• W2912175166 hasRelatedWork W1562046958 @default.
• W2912175166 hasRelatedWork W1589276513 @default.
• W2912175166 hasRelatedWork W1605031929 @default.
• W2912175166 hasRelatedWork W1643991583 @default.

• next