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):
Displayed 10 items.
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← 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)
- Towards general axiomatizations for bisimilarity and trace semantics (Q2237336) (← links)
- (Q3384913) (← links)
- (Q5094151) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← 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)