Pages that link to "Item:Q1853593"
From MaRDI portal
The following pages link to Discrete time generative-reactive probabilistic processes with different advancing speeds (Q1853593):
Displaying 11 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- A translation of \(\text{TPAL}_{p}\) into a class of timed-probabilistic Petri nets (Q557805) (← links)
- Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes (Q974113) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- Notes on generative probabilistic bisimulation (Q2866317) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
- A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems (Q5458058) (← links)
- Non Expansive ε-Bisimulations (Q5505435) (← links)
- (Q5856402) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
