FRINK Linked Data Fragments server

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

• W133799517 endingPage "114" @default.
• W133799517 startingPage "98" @default.
• W133799517 abstract "Orc is a computation orchestration language which is designed to specify computational services, such as distributed communication and data manipulation, in a concise and elegant way. Four concurrency primitives allow programmers to orchestrate site calls to achieve a goal, while managing timeouts, priorities, and failures. To guarantee the correctness of Orc model, effective verification support is desirable. Orc has a highly concurrent semantics which introduces the problem of state-explosion to search-based verification methods like model checking. In this paper, we present a new method, called Compositional Partial Order Reduction (CPOR), which aims to provide greater state-space reduction than classic partial order reduction methods in the context of hierarchical concurrent processes. Evaluation shows that CPOR is more effective in reducing the state space than classic partial order reduction methods." @default.
• W133799517 created "2016-06-24" @default.
• W133799517 creator A5007391734 @default.
• W133799517 creator A5023363049 @default.
• W133799517 creator A5068911982 @default.
• W133799517 creator A5085067496 @default.
• W133799517 date "2011-01-01" @default.
• W133799517 modified "2023-10-16" @default.
• W133799517 title "Verification of Orchestration Systems Using Compositional Partial Order Reduction" @default.
• W133799517 cites W1515421996 @default.
• W133799517 cites W1523442991 @default.
• W133799517 cites W1535497513 @default.
• W133799517 cites W1565645576 @default.
• W133799517 cites W1574570499 @default.
• W133799517 cites W1577028575 @default.
• W133799517 cites W1728128845 @default.
• W133799517 cites W1728798265 @default.
• W133799517 cites W1790874646 @default.
• W133799517 cites W1925636530 @default.
• W133799517 cites W1981830522 @default.
• W133799517 cites W2003227046 @default.
• W133799517 cites W2011778465 @default.
• W133799517 cites W2033054040 @default.
• W133799517 cites W2039302866 @default.
• W133799517 cites W2049764332 @default.
• W133799517 cites W2055558998 @default.
• W133799517 cites W2093709900 @default.
• W133799517 cites W2116960910 @default.
• W133799517 cites W2124831391 @default.
• W133799517 cites W2158809946 @default.
• W133799517 doi "https://doi.org/10.1007/978-3-642-24559-6_9" @default.
• W133799517 hasPublicationYear "2011" @default.
• W133799517 type Work @default.
• W133799517 sameAs 133799517 @default.
• W133799517 citedByCount "4" @default.
• W133799517 countsByYear W1337995172016 @default.
• W133799517 countsByYear W1337995172022 @default.
• W133799517 crossrefType "book-chapter" @default.
• W133799517 hasAuthorship W133799517A5007391734 @default.
• W133799517 hasAuthorship W133799517A5023363049 @default.
• W133799517 hasAuthorship W133799517A5068911982 @default.
• W133799517 hasAuthorship W133799517A5085067496 @default.
• W133799517 hasBestOaLocation W1337995172 @default.
• W133799517 hasConcept C105795698 @default.
• W133799517 hasConcept C110251889 @default.
• W133799517 hasConcept C111335779 @default.
• W133799517 hasConcept C120314980 @default.
• W133799517 hasConcept C142362112 @default.
• W133799517 hasConcept C151730666 @default.
• W133799517 hasConcept C153349607 @default.
• W133799517 hasConcept C156325763 @default.
• W133799517 hasConcept C184337299 @default.
• W133799517 hasConcept C193702766 @default.
• W133799517 hasConcept C199168358 @default.
• W133799517 hasConcept C199360897 @default.
• W133799517 hasConcept C2524010 @default.
• W133799517 hasConcept C2779343474 @default.
• W133799517 hasConcept C33923547 @default.
• W133799517 hasConcept C41008148 @default.
• W133799517 hasConcept C48103436 @default.
• W133799517 hasConcept C55439883 @default.
• W133799517 hasConcept C558565934 @default.
• W133799517 hasConcept C72434380 @default.
• W133799517 hasConcept C80444323 @default.
• W133799517 hasConcept C86803240 @default.
• W133799517 hasConcept C94633896 @default.
• W133799517 hasConceptScore W133799517C105795698 @default.
• W133799517 hasConceptScore W133799517C110251889 @default.
• W133799517 hasConceptScore W133799517C111335779 @default.
• W133799517 hasConceptScore W133799517C120314980 @default.
• W133799517 hasConceptScore W133799517C142362112 @default.
• W133799517 hasConceptScore W133799517C151730666 @default.
• W133799517 hasConceptScore W133799517C153349607 @default.
• W133799517 hasConceptScore W133799517C156325763 @default.
• W133799517 hasConceptScore W133799517C184337299 @default.
• W133799517 hasConceptScore W133799517C193702766 @default.
• W133799517 hasConceptScore W133799517C199168358 @default.
• W133799517 hasConceptScore W133799517C199360897 @default.
• W133799517 hasConceptScore W133799517C2524010 @default.
• W133799517 hasConceptScore W133799517C2779343474 @default.
• W133799517 hasConceptScore W133799517C33923547 @default.
• W133799517 hasConceptScore W133799517C41008148 @default.
• W133799517 hasConceptScore W133799517C48103436 @default.
• W133799517 hasConceptScore W133799517C55439883 @default.
• W133799517 hasConceptScore W133799517C558565934 @default.
• W133799517 hasConceptScore W133799517C72434380 @default.
• W133799517 hasConceptScore W133799517C80444323 @default.
• W133799517 hasConceptScore W133799517C86803240 @default.
• W133799517 hasConceptScore W133799517C94633896 @default.
• W133799517 hasLocation W1337995171 @default.
• W133799517 hasLocation W1337995172 @default.
• W133799517 hasLocation W1337995173 @default.
• W133799517 hasOpenAccess W133799517 @default.
• W133799517 hasPrimaryLocation W1337995171 @default.
• W133799517 hasRelatedWork W133799517 @default.
• W133799517 hasRelatedWork W1546995467 @default.
• W133799517 hasRelatedWork W1548537923 @default.
• W133799517 hasRelatedWork W1568032801 @default.

• next