Matches in SemOpenAlex for { <https://semopenalex.org/work/W2922092330> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2922092330 abstract "Markov automata are a novel formalism for specifying systems exhibiting nondeterminism, probabilistic choices and Markovian rates. Recently, the process algebra MAPA was introduced to efficiently model such systems. As always, the state space explosion threatens the analysability of the models generated by such specifications. We therefore introduce confluence reduction for Markov automata, a powerful reduction technique to keep these models small. We define the notion of confluence directly on Markov automata, and discuss how to syntactically detect confluence on the MAPA language as well. That way, Markov automata generated by MAPA specifications can be reduced on-the-fly while preserving divergence-sensitive branching bisimulation. Three case studies demonstrate the significance of our approach, with reductions in analysis time up to an order of magnitude." @default.
- W2922092330 created "2019-03-22" @default.
- W2922092330 creator A5012697499 @default.
- W2922092330 creator A5053065289 @default.
- W2922092330 creator A5085049248 @default.
- W2922092330 date "2013-03-01" @default.
- W2922092330 modified "2023-09-27" @default.
- W2922092330 title "Confluence reduction for Markov automata" @default.
- W2922092330 hasPublicationYear "2013" @default.
- W2922092330 type Work @default.
- W2922092330 sameAs 2922092330 @default.
- W2922092330 citedByCount "4" @default.
- W2922092330 countsByYear W29220923302013 @default.
- W2922092330 countsByYear W29220923302014 @default.
- W2922092330 countsByYear W29220923302015 @default.
- W2922092330 countsByYear W29220923302018 @default.
- W2922092330 crossrefType "journal-article" @default.
- W2922092330 hasAuthorship W2922092330A5012697499 @default.
- W2922092330 hasAuthorship W2922092330A5053065289 @default.
- W2922092330 hasAuthorship W2922092330A5085049248 @default.
- W2922092330 hasConcept C105795698 @default.
- W2922092330 hasConcept C111335779 @default.
- W2922092330 hasConcept C112505250 @default.
- W2922092330 hasConcept C11413529 @default.
- W2922092330 hasConcept C118615104 @default.
- W2922092330 hasConcept C119857082 @default.
- W2922092330 hasConcept C135315306 @default.
- W2922092330 hasConcept C142362112 @default.
- W2922092330 hasConcept C153349607 @default.
- W2922092330 hasConcept C154945302 @default.
- W2922092330 hasConcept C159886148 @default.
- W2922092330 hasConcept C161771561 @default.
- W2922092330 hasConcept C199360897 @default.
- W2922092330 hasConcept C2524010 @default.
- W2922092330 hasConcept C33923547 @default.
- W2922092330 hasConcept C41008148 @default.
- W2922092330 hasConcept C49937458 @default.
- W2922092330 hasConcept C558565934 @default.
- W2922092330 hasConcept C72434380 @default.
- W2922092330 hasConcept C73301696 @default.
- W2922092330 hasConcept C77906462 @default.
- W2922092330 hasConcept C80444323 @default.
- W2922092330 hasConcept C98763669 @default.
- W2922092330 hasConceptScore W2922092330C105795698 @default.
- W2922092330 hasConceptScore W2922092330C111335779 @default.
- W2922092330 hasConceptScore W2922092330C112505250 @default.
- W2922092330 hasConceptScore W2922092330C11413529 @default.
- W2922092330 hasConceptScore W2922092330C118615104 @default.
- W2922092330 hasConceptScore W2922092330C119857082 @default.
- W2922092330 hasConceptScore W2922092330C135315306 @default.
- W2922092330 hasConceptScore W2922092330C142362112 @default.
- W2922092330 hasConceptScore W2922092330C153349607 @default.
- W2922092330 hasConceptScore W2922092330C154945302 @default.
- W2922092330 hasConceptScore W2922092330C159886148 @default.
- W2922092330 hasConceptScore W2922092330C161771561 @default.
- W2922092330 hasConceptScore W2922092330C199360897 @default.
- W2922092330 hasConceptScore W2922092330C2524010 @default.
- W2922092330 hasConceptScore W2922092330C33923547 @default.
- W2922092330 hasConceptScore W2922092330C41008148 @default.
- W2922092330 hasConceptScore W2922092330C49937458 @default.
- W2922092330 hasConceptScore W2922092330C558565934 @default.
- W2922092330 hasConceptScore W2922092330C72434380 @default.
- W2922092330 hasConceptScore W2922092330C73301696 @default.
- W2922092330 hasConceptScore W2922092330C77906462 @default.
- W2922092330 hasConceptScore W2922092330C80444323 @default.
- W2922092330 hasConceptScore W2922092330C98763669 @default.
- W2922092330 hasLocation W29220923301 @default.
- W2922092330 hasOpenAccess W2922092330 @default.
- W2922092330 hasPrimaryLocation W29220923301 @default.
- W2922092330 hasRelatedWork W1483297077 @default.
- W2922092330 hasRelatedWork W1562206651 @default.
- W2922092330 hasRelatedWork W1587163902 @default.
- W2922092330 hasRelatedWork W1874021660 @default.
- W2922092330 hasRelatedWork W1878133323 @default.
- W2922092330 hasRelatedWork W1974396748 @default.
- W2922092330 hasRelatedWork W2057747677 @default.
- W2922092330 hasRelatedWork W2066278264 @default.
- W2922092330 hasRelatedWork W2088212214 @default.
- W2922092330 hasRelatedWork W2107209406 @default.
- W2922092330 hasRelatedWork W2133749858 @default.
- W2922092330 hasRelatedWork W2145121791 @default.
- W2922092330 hasRelatedWork W220767771 @default.
- W2922092330 hasRelatedWork W2263027537 @default.
- W2922092330 hasRelatedWork W2294377302 @default.
- W2922092330 hasRelatedWork W2583206604 @default.
- W2922092330 hasRelatedWork W2729459578 @default.
- W2922092330 hasRelatedWork W2949994589 @default.
- W2922092330 hasRelatedWork W2963524373 @default.
- W2922092330 hasRelatedWork W2474764009 @default.
- W2922092330 isParatext "false" @default.
- W2922092330 isRetracted "false" @default.
- W2922092330 magId "2922092330" @default.
- W2922092330 workType "article" @default.