Pages that link to "Item:Q2253178"
From MaRDI portal
The following pages link to Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178):
Displaying 14 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Determinacy \(\to\) (observation equivalence \(=\) trace equivalence) (Q1061481) (← links)
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- \textsc{ULTraS} at work: compositionality metaresults for bisimulation and trace semantics (Q1683708) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Alternative characterizations of probabilistic trace equivalences on coherent resolutions of nondeterminism (Q2056980) (← links)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- (Q3384913) (← links)
- (Q5094151) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- Relational and Kleene-Algebraic Methods in Computer Science (Q5712445) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
