Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294224775> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4294224775 abstract "This paper presents a novel technique for state space reduction of probabilistic specifications, based on a newly developed notion of confluence for probabilistic automata. We prove that this reduction preserves branching probabilistic bisimulation and can be applied on-the-fly. To support the technique, we introduce a method for detecting confluent transitions in the context of a probabilistic process algebra with data, facilitated by an earlier defined linear format. A case study demonstrates that significant reductions can be obtained." @default.
- W4294224775 created "2022-09-02" @default.
- W4294224775 creator A5012697499 @default.
- W4294224775 creator A5053065289 @default.
- W4294224775 creator A5085049248 @default.
- W4294224775 date "2010-11-10" @default.
- W4294224775 modified "2023-09-27" @default.
- W4294224775 title "Confluence Reduction for Probabilistic Systems (extended version)" @default.
- W4294224775 doi "https://doi.org/10.48550/arxiv.1011.2314" @default.
- W4294224775 hasPublicationYear "2010" @default.
- W4294224775 type Work @default.
- W4294224775 citedByCount "0" @default.
- W4294224775 crossrefType "posted-content" @default.
- W4294224775 hasAuthorship W4294224775A5012697499 @default.
- W4294224775 hasAuthorship W4294224775A5053065289 @default.
- W4294224775 hasAuthorship W4294224775A5085049248 @default.
- W4294224775 hasBestOaLocation W42942247751 @default.
- W4294224775 hasConcept C105795698 @default.
- W4294224775 hasConcept C111335779 @default.
- W4294224775 hasConcept C111919701 @default.
- W4294224775 hasConcept C112505250 @default.
- W4294224775 hasConcept C11413529 @default.
- W4294224775 hasConcept C135315306 @default.
- W4294224775 hasConcept C151730666 @default.
- W4294224775 hasConcept C154945302 @default.
- W4294224775 hasConcept C161771561 @default.
- W4294224775 hasConcept C174784677 @default.
- W4294224775 hasConcept C199360897 @default.
- W4294224775 hasConcept C24404364 @default.
- W4294224775 hasConcept C2524010 @default.
- W4294224775 hasConcept C2779343474 @default.
- W4294224775 hasConcept C2781020372 @default.
- W4294224775 hasConcept C33923547 @default.
- W4294224775 hasConcept C41008148 @default.
- W4294224775 hasConcept C49937458 @default.
- W4294224775 hasConcept C52063229 @default.
- W4294224775 hasConcept C72434380 @default.
- W4294224775 hasConcept C77906462 @default.
- W4294224775 hasConcept C80444323 @default.
- W4294224775 hasConcept C86803240 @default.
- W4294224775 hasConceptScore W4294224775C105795698 @default.
- W4294224775 hasConceptScore W4294224775C111335779 @default.
- W4294224775 hasConceptScore W4294224775C111919701 @default.
- W4294224775 hasConceptScore W4294224775C112505250 @default.
- W4294224775 hasConceptScore W4294224775C11413529 @default.
- W4294224775 hasConceptScore W4294224775C135315306 @default.
- W4294224775 hasConceptScore W4294224775C151730666 @default.
- W4294224775 hasConceptScore W4294224775C154945302 @default.
- W4294224775 hasConceptScore W4294224775C161771561 @default.
- W4294224775 hasConceptScore W4294224775C174784677 @default.
- W4294224775 hasConceptScore W4294224775C199360897 @default.
- W4294224775 hasConceptScore W4294224775C24404364 @default.
- W4294224775 hasConceptScore W4294224775C2524010 @default.
- W4294224775 hasConceptScore W4294224775C2779343474 @default.
- W4294224775 hasConceptScore W4294224775C2781020372 @default.
- W4294224775 hasConceptScore W4294224775C33923547 @default.
- W4294224775 hasConceptScore W4294224775C41008148 @default.
- W4294224775 hasConceptScore W4294224775C49937458 @default.
- W4294224775 hasConceptScore W4294224775C52063229 @default.
- W4294224775 hasConceptScore W4294224775C72434380 @default.
- W4294224775 hasConceptScore W4294224775C77906462 @default.
- W4294224775 hasConceptScore W4294224775C80444323 @default.
- W4294224775 hasConceptScore W4294224775C86803240 @default.
- W4294224775 hasLocation W42942247751 @default.
- W4294224775 hasOpenAccess W4294224775 @default.
- W4294224775 hasPrimaryLocation W42942247751 @default.
- W4294224775 hasRelatedWork W1499514499 @default.
- W4294224775 hasRelatedWork W1532183266 @default.
- W4294224775 hasRelatedWork W2099772619 @default.
- W4294224775 hasRelatedWork W2111119954 @default.
- W4294224775 hasRelatedWork W2126214140 @default.
- W4294224775 hasRelatedWork W2131603512 @default.
- W4294224775 hasRelatedWork W2147688815 @default.
- W4294224775 hasRelatedWork W2398513451 @default.
- W4294224775 hasRelatedWork W2660972524 @default.
- W4294224775 hasRelatedWork W4294224775 @default.
- W4294224775 isParatext "false" @default.
- W4294224775 isRetracted "false" @default.
- W4294224775 workType "article" @default.