Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149336039> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2149336039 abstract "This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM." @default.
- W2149336039 created "2016-06-24" @default.
- W2149336039 creator A5085049248 @default.
- W2149336039 date "2011-09-01" @default.
- W2149336039 modified "2023-09-27" @default.
- W2149336039 title "SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes" @default.
- W2149336039 cites W1548753013 @default.
- W2149336039 cites W1980824962 @default.
- W2149336039 cites W2018187447 @default.
- W2149336039 cites W2099772619 @default.
- W2149336039 cites W2123022028 @default.
- W2149336039 cites W2131603512 @default.
- W2149336039 cites W2166150286 @default.
- W2149336039 cites W2167978186 @default.
- W2149336039 cites W2235903980 @default.
- W2149336039 cites W2583833536 @default.
- W2149336039 doi "https://doi.org/10.1109/qest.2011.27" @default.
- W2149336039 hasPublicationYear "2011" @default.
- W2149336039 type Work @default.
- W2149336039 sameAs 2149336039 @default.
- W2149336039 citedByCount "21" @default.
- W2149336039 countsByYear W21493360392012 @default.
- W2149336039 countsByYear W21493360392013 @default.
- W2149336039 countsByYear W21493360392014 @default.
- W2149336039 countsByYear W21493360392017 @default.
- W2149336039 countsByYear W21493360392018 @default.
- W2149336039 crossrefType "proceedings-article" @default.
- W2149336039 hasAuthorship W2149336039A5085049248 @default.
- W2149336039 hasBestOaLocation W21493360392 @default.
- W2149336039 hasConcept C105795698 @default.
- W2149336039 hasConcept C111335779 @default.
- W2149336039 hasConcept C11413529 @default.
- W2149336039 hasConcept C121332964 @default.
- W2149336039 hasConcept C129537906 @default.
- W2149336039 hasConcept C154945302 @default.
- W2149336039 hasConcept C199360897 @default.
- W2149336039 hasConcept C2524010 @default.
- W2149336039 hasConcept C2779427698 @default.
- W2149336039 hasConcept C33923547 @default.
- W2149336039 hasConcept C41008148 @default.
- W2149336039 hasConcept C48103436 @default.
- W2149336039 hasConcept C49937458 @default.
- W2149336039 hasConcept C72434380 @default.
- W2149336039 hasConcept C77906462 @default.
- W2149336039 hasConcept C80444323 @default.
- W2149336039 hasConcept C97355855 @default.
- W2149336039 hasConcept C98045186 @default.
- W2149336039 hasConceptScore W2149336039C105795698 @default.
- W2149336039 hasConceptScore W2149336039C111335779 @default.
- W2149336039 hasConceptScore W2149336039C11413529 @default.
- W2149336039 hasConceptScore W2149336039C121332964 @default.
- W2149336039 hasConceptScore W2149336039C129537906 @default.
- W2149336039 hasConceptScore W2149336039C154945302 @default.
- W2149336039 hasConceptScore W2149336039C199360897 @default.
- W2149336039 hasConceptScore W2149336039C2524010 @default.
- W2149336039 hasConceptScore W2149336039C2779427698 @default.
- W2149336039 hasConceptScore W2149336039C33923547 @default.
- W2149336039 hasConceptScore W2149336039C41008148 @default.
- W2149336039 hasConceptScore W2149336039C48103436 @default.
- W2149336039 hasConceptScore W2149336039C49937458 @default.
- W2149336039 hasConceptScore W2149336039C72434380 @default.
- W2149336039 hasConceptScore W2149336039C77906462 @default.
- W2149336039 hasConceptScore W2149336039C80444323 @default.
- W2149336039 hasConceptScore W2149336039C97355855 @default.
- W2149336039 hasConceptScore W2149336039C98045186 @default.
- W2149336039 hasLocation W21493360391 @default.
- W2149336039 hasLocation W21493360392 @default.
- W2149336039 hasOpenAccess W2149336039 @default.
- W2149336039 hasPrimaryLocation W21493360391 @default.
- W2149336039 hasRelatedWork W1504080271 @default.
- W2149336039 hasRelatedWork W1507380329 @default.
- W2149336039 hasRelatedWork W1520708882 @default.
- W2149336039 hasRelatedWork W1850900101 @default.
- W2149336039 hasRelatedWork W1986755980 @default.
- W2149336039 hasRelatedWork W2018187447 @default.
- W2149336039 hasRelatedWork W2068791347 @default.
- W2149336039 hasRelatedWork W2070874614 @default.
- W2149336039 hasRelatedWork W2079636926 @default.
- W2149336039 hasRelatedWork W2110411539 @default.
- W2149336039 hasRelatedWork W2111987809 @default.
- W2149336039 hasRelatedWork W2117429544 @default.
- W2149336039 hasRelatedWork W2118744069 @default.
- W2149336039 hasRelatedWork W2123022028 @default.
- W2149336039 hasRelatedWork W2131603512 @default.
- W2149336039 hasRelatedWork W2148167082 @default.
- W2149336039 hasRelatedWork W2163234015 @default.
- W2149336039 hasRelatedWork W2168234479 @default.
- W2149336039 hasRelatedWork W2294647483 @default.
- W2149336039 hasRelatedWork W78405526 @default.
- W2149336039 isParatext "false" @default.
- W2149336039 isRetracted "false" @default.
- W2149336039 magId "2149336039" @default.
- W2149336039 workType "article" @default.