Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014582618> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2014582618 endingPage "204" @default.
- W2014582618 startingPage "187" @default.
- W2014582618 abstract "This paper discusses trace semantics of interactive Markov chains (IMCs) that are a generalisation of continuous-time Markov chains. In IMCs besides probabilistic alternatives there may be a nondeterministic choice between several action-labelled transitions in a state. We analyse several variants of trace equivalences that arise from the different ways one has to resolve nondeterministic branching. Button pushing testing scenarios are used to motivate each abstraction level induced by the trace semantics and associated equivalences are sorted according to their distinguishing power." @default.
- W2014582618 created "2016-06-24" @default.
- W2014582618 creator A5045042008 @default.
- W2014582618 creator A5089228948 @default.
- W2014582618 creator A5091344667 @default.
- W2014582618 date "2006-10-01" @default.
- W2014582618 modified "2023-09-25" @default.
- W2014582618 title "Trace Semantics for Stochastic Systems with Nondeterminism" @default.
- W2014582618 cites W1976268573 @default.
- W2014582618 cites W1999972524 @default.
- W2014582618 cites W2114710208 @default.
- W2014582618 cites W2115555017 @default.
- W2014582618 cites W2119122895 @default.
- W2014582618 cites W2284263109 @default.
- W2014582618 doi "https://doi.org/10.1016/j.entcs.2006.07.019" @default.
- W2014582618 hasPublicationYear "2006" @default.
- W2014582618 type Work @default.
- W2014582618 sameAs 2014582618 @default.
- W2014582618 citedByCount "12" @default.
- W2014582618 countsByYear W20145826182015 @default.
- W2014582618 countsByYear W20145826182017 @default.
- W2014582618 countsByYear W20145826182018 @default.
- W2014582618 countsByYear W20145826182019 @default.
- W2014582618 countsByYear W20145826182020 @default.
- W2014582618 countsByYear W20145826182021 @default.
- W2014582618 crossrefType "journal-article" @default.
- W2014582618 hasAuthorship W2014582618A5045042008 @default.
- W2014582618 hasAuthorship W2014582618A5089228948 @default.
- W2014582618 hasAuthorship W2014582618A5091344667 @default.
- W2014582618 hasBestOaLocation W20145826181 @default.
- W2014582618 hasConcept C138885662 @default.
- W2014582618 hasConcept C156325763 @default.
- W2014582618 hasConcept C184337299 @default.
- W2014582618 hasConcept C199360897 @default.
- W2014582618 hasConcept C41008148 @default.
- W2014582618 hasConcept C41895202 @default.
- W2014582618 hasConcept C75291252 @default.
- W2014582618 hasConceptScore W2014582618C138885662 @default.
- W2014582618 hasConceptScore W2014582618C156325763 @default.
- W2014582618 hasConceptScore W2014582618C184337299 @default.
- W2014582618 hasConceptScore W2014582618C199360897 @default.
- W2014582618 hasConceptScore W2014582618C41008148 @default.
- W2014582618 hasConceptScore W2014582618C41895202 @default.
- W2014582618 hasConceptScore W2014582618C75291252 @default.
- W2014582618 hasIssue "3" @default.
- W2014582618 hasLocation W20145826181 @default.
- W2014582618 hasOpenAccess W2014582618 @default.
- W2014582618 hasPrimaryLocation W20145826181 @default.
- W2014582618 hasRelatedWork W1480120842 @default.
- W2014582618 hasRelatedWork W1491977649 @default.
- W2014582618 hasRelatedWork W1990892358 @default.
- W2014582618 hasRelatedWork W2005840275 @default.
- W2014582618 hasRelatedWork W2035778526 @default.
- W2014582618 hasRelatedWork W2056977125 @default.
- W2014582618 hasRelatedWork W27605384 @default.
- W2014582618 hasRelatedWork W3028943997 @default.
- W2014582618 hasRelatedWork W4200200653 @default.
- W2014582618 hasRelatedWork W97582271 @default.
- W2014582618 hasVolume "164" @default.
- W2014582618 isParatext "false" @default.
- W2014582618 isRetracted "false" @default.
- W2014582618 magId "2014582618" @default.
- W2014582618 workType "article" @default.