Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003992102> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2003992102 endingPage "100" @default.
- W2003992102 startingPage "84" @default.
- W2003992102 abstract "Before we combine actions and probabilities two very obvious questions should be asked. Firstly, what does the probability of an action mean? Secondly, how does probability interact with nondeterminism? Neither question has a single universally agreed upon answer but by considering these questions at the outset we build a novel and hopefully intuitive probabilistic event-based formalism. In previous work we have characterised refinement via the notion of testing. Basically, if one system passes all the tests that another system passes (and maybe more) we say the first system is a refinement of the second. This is, in our view, an important way of characterising refinement, via the question what sort of refinement should I be using? We use testing in this paper as the basis for our refinement. We develop tests for probabilistic systems by analogy with the tests developed for non-probabilistic systems. We make sure that our probabilistic tests, when performed on non-probabilistic automata, give us refinement relations which agree with for those non-probabilistic automata. We formalise this property as a vertical refinement." @default.
- W2003992102 created "2016-06-24" @default.
- W2003992102 creator A5018941279 @default.
- W2003992102 creator A5084137497 @default.
- W2003992102 date "2011-06-17" @default.
- W2003992102 modified "2023-09-28" @default.
- W2003992102 title "Refinement for Probabilistic Systems with Nondeterminism" @default.
- W2003992102 cites W2039139411 @default.
- W2003992102 cites W2045637661 @default.
- W2003992102 cites W2069250051 @default.
- W2003992102 cites W2155707149 @default.
- W2003992102 doi "https://doi.org/10.4204/eptcs.55.6" @default.
- W2003992102 hasPublicationYear "2011" @default.
- W2003992102 type Work @default.
- W2003992102 sameAs 2003992102 @default.
- W2003992102 citedByCount "0" @default.
- W2003992102 crossrefType "journal-article" @default.
- W2003992102 hasAuthorship W2003992102A5018941279 @default.
- W2003992102 hasAuthorship W2003992102A5084137497 @default.
- W2003992102 hasBestOaLocation W20039921021 @default.
- W2003992102 hasConcept C111472728 @default.
- W2003992102 hasConcept C112505250 @default.
- W2003992102 hasConcept C11413529 @default.
- W2003992102 hasConcept C121332964 @default.
- W2003992102 hasConcept C138885662 @default.
- W2003992102 hasConcept C142362112 @default.
- W2003992102 hasConcept C153349607 @default.
- W2003992102 hasConcept C154945302 @default.
- W2003992102 hasConcept C174784677 @default.
- W2003992102 hasConcept C189950617 @default.
- W2003992102 hasConcept C23123220 @default.
- W2003992102 hasConcept C24404364 @default.
- W2003992102 hasConcept C2779662365 @default.
- W2003992102 hasConcept C41008148 @default.
- W2003992102 hasConcept C41895202 @default.
- W2003992102 hasConcept C49937458 @default.
- W2003992102 hasConcept C52063229 @default.
- W2003992102 hasConcept C521332185 @default.
- W2003992102 hasConcept C558565934 @default.
- W2003992102 hasConcept C62520636 @default.
- W2003992102 hasConcept C73301696 @default.
- W2003992102 hasConcept C80444323 @default.
- W2003992102 hasConcept C88548561 @default.
- W2003992102 hasConceptScore W2003992102C111472728 @default.
- W2003992102 hasConceptScore W2003992102C112505250 @default.
- W2003992102 hasConceptScore W2003992102C11413529 @default.
- W2003992102 hasConceptScore W2003992102C121332964 @default.
- W2003992102 hasConceptScore W2003992102C138885662 @default.
- W2003992102 hasConceptScore W2003992102C142362112 @default.
- W2003992102 hasConceptScore W2003992102C153349607 @default.
- W2003992102 hasConceptScore W2003992102C154945302 @default.
- W2003992102 hasConceptScore W2003992102C174784677 @default.
- W2003992102 hasConceptScore W2003992102C189950617 @default.
- W2003992102 hasConceptScore W2003992102C23123220 @default.
- W2003992102 hasConceptScore W2003992102C24404364 @default.
- W2003992102 hasConceptScore W2003992102C2779662365 @default.
- W2003992102 hasConceptScore W2003992102C41008148 @default.
- W2003992102 hasConceptScore W2003992102C41895202 @default.
- W2003992102 hasConceptScore W2003992102C49937458 @default.
- W2003992102 hasConceptScore W2003992102C52063229 @default.
- W2003992102 hasConceptScore W2003992102C521332185 @default.
- W2003992102 hasConceptScore W2003992102C558565934 @default.
- W2003992102 hasConceptScore W2003992102C62520636 @default.
- W2003992102 hasConceptScore W2003992102C73301696 @default.
- W2003992102 hasConceptScore W2003992102C80444323 @default.
- W2003992102 hasConceptScore W2003992102C88548561 @default.
- W2003992102 hasLocation W20039921021 @default.
- W2003992102 hasLocation W20039921022 @default.
- W2003992102 hasOpenAccess W2003992102 @default.
- W2003992102 hasPrimaryLocation W20039921021 @default.
- W2003992102 hasRelatedWork W1499514499 @default.
- W2003992102 hasRelatedWork W1535566948 @default.
- W2003992102 hasRelatedWork W189312714 @default.
- W2003992102 hasRelatedWork W2044753318 @default.
- W2003992102 hasRelatedWork W2096349874 @default.
- W2003992102 hasRelatedWork W2107949109 @default.
- W2003992102 hasRelatedWork W2126214140 @default.
- W2003992102 hasRelatedWork W249340682 @default.
- W2003992102 hasRelatedWork W4313207396 @default.
- W2003992102 hasRelatedWork W2472062783 @default.
- W2003992102 hasVolume "55" @default.
- W2003992102 isParatext "false" @default.
- W2003992102 isRetracted "false" @default.
- W2003992102 magId "2003992102" @default.
- W2003992102 workType "article" @default.