Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146187895> ?p ?o ?g. }
- W2146187895 endingPage "82" @default.
- W2146187895 startingPage "29" @default.
- W2146187895 abstract "Labeled transition systems are typically used as behavioral models of concurrent processes. Their labeled transitions define a one-step state-to-state reachability relation. This model can be generalized by modifying the transition relation to associate a state reachability distribution with any pair consisting of a source state and a transition label. The state reachability distribution is a function mapping each possible target state to a value that expresses the degree of one-step reachability of that state. Values are taken from a preordered set equipped with a minimum that denotes unreachability. By selecting suitable preordered sets, the resulting model, called ULTraS from Uniform Labeled Transition System, can be specialized to capture well-known models of fully nondeterministic processes (LTS), fully probabilistic processes (ADTMC), fully stochastic processes (ACTMC), and nondeterministic and probabilistic (MDP) or nondeterministic and stochastic (CTMDP) processes. This uniform treatment of different behavioral models extends to behavioral equivalences. They can be defined on ULTraS by relying on appropriate measure functions that express the degree of reachability of a set of states when performing multi-step computations. It is shown that the specializations of bisimulation, trace, and testing equivalences for the different classes of ULTraS coincide with the behavioral equivalences defined in the literature over traditional models except when nondeterminism and probability/stochasticity coexist; then new equivalences pop up." @default.
- W2146187895 created "2016-06-24" @default.
- W2146187895 creator A5016732227 @default.
- W2146187895 creator A5069085203 @default.
- W2146187895 creator A5090241572 @default.
- W2146187895 date "2013-04-01" @default.
- W2146187895 modified "2023-10-04" @default.
- W2146187895 title "A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences" @default.
- W2146187895 cites W139143222 @default.
- W2146187895 cites W1495559266 @default.
- W2146187895 cites W1605829531 @default.
- W2146187895 cites W1963619740 @default.
- W2146187895 cites W1970078694 @default.
- W2146187895 cites W1970318869 @default.
- W2146187895 cites W1972478730 @default.
- W2146187895 cites W1976268573 @default.
- W2146187895 cites W1978469611 @default.
- W2146187895 cites W1980836588 @default.
- W2146187895 cites W1985161650 @default.
- W2146187895 cites W1994350081 @default.
- W2146187895 cites W1995469594 @default.
- W2146187895 cites W2007809070 @default.
- W2146187895 cites W2008781243 @default.
- W2146187895 cites W2009280542 @default.
- W2146187895 cites W2020876738 @default.
- W2146187895 cites W2021473546 @default.
- W2146187895 cites W2022258624 @default.
- W2146187895 cites W2027671360 @default.
- W2146187895 cites W2034188142 @default.
- W2146187895 cites W2038373047 @default.
- W2146187895 cites W2040598439 @default.
- W2146187895 cites W2044811734 @default.
- W2146187895 cites W2052170634 @default.
- W2146187895 cites W2056928795 @default.
- W2146187895 cites W2058245002 @default.
- W2146187895 cites W2058735307 @default.
- W2146187895 cites W2062442550 @default.
- W2146187895 cites W2065103010 @default.
- W2146187895 cites W2067899880 @default.
- W2146187895 cites W2068361557 @default.
- W2146187895 cites W2070403229 @default.
- W2146187895 cites W2072033902 @default.
- W2146187895 cites W2083109960 @default.
- W2146187895 cites W2100893927 @default.
- W2146187895 cites W2101508170 @default.
- W2146187895 cites W2102097307 @default.
- W2146187895 cites W2109142454 @default.
- W2146187895 cites W2110586188 @default.
- W2146187895 cites W2110601664 @default.
- W2146187895 cites W2113391296 @default.
- W2146187895 cites W2115555017 @default.
- W2146187895 cites W2118954772 @default.
- W2146187895 cites W2135657750 @default.
- W2146187895 cites W2135795876 @default.
- W2146187895 cites W2145454356 @default.
- W2146187895 cites W2152398409 @default.
- W2146187895 cites W2157144873 @default.
- W2146187895 cites W2161168641 @default.
- W2146187895 cites W2163369706 @default.
- W2146187895 cites W2167004912 @default.
- W2146187895 cites W2169869634 @default.
- W2146187895 cites W2284263109 @default.
- W2146187895 cites W2294826973 @default.
- W2146187895 cites W4212872794 @default.
- W2146187895 cites W4212875940 @default.
- W2146187895 doi "https://doi.org/10.1016/j.ic.2013.02.004" @default.
- W2146187895 hasPublicationYear "2013" @default.
- W2146187895 type Work @default.
- W2146187895 sameAs 2146187895 @default.
- W2146187895 citedByCount "33" @default.
- W2146187895 countsByYear W21461878952013 @default.
- W2146187895 countsByYear W21461878952014 @default.
- W2146187895 countsByYear W21461878952015 @default.
- W2146187895 countsByYear W21461878952016 @default.
- W2146187895 countsByYear W21461878952017 @default.
- W2146187895 countsByYear W21461878952018 @default.
- W2146187895 countsByYear W21461878952019 @default.
- W2146187895 countsByYear W21461878952021 @default.
- W2146187895 countsByYear W21461878952023 @default.
- W2146187895 crossrefType "journal-article" @default.
- W2146187895 hasAuthorship W2146187895A5016732227 @default.
- W2146187895 hasAuthorship W2146187895A5069085203 @default.
- W2146187895 hasAuthorship W2146187895A5090241572 @default.
- W2146187895 hasBestOaLocation W21461878951 @default.
- W2146187895 hasConcept C105795698 @default.
- W2146187895 hasConcept C11413529 @default.
- W2146187895 hasConcept C135315306 @default.
- W2146187895 hasConcept C136643341 @default.
- W2146187895 hasConcept C149441793 @default.
- W2146187895 hasConcept C154945302 @default.
- W2146187895 hasConcept C174784677 @default.
- W2146187895 hasConcept C176181172 @default.
- W2146187895 hasConcept C177264268 @default.
- W2146187895 hasConcept C199360897 @default.
- W2146187895 hasConcept C33923547 @default.
- W2146187895 hasConcept C41008148 @default.
- W2146187895 hasConcept C48103436 @default.
- W2146187895 hasConcept C49937458 @default.