Pages that link to "Item:Q5415456"
From MaRDI portal
The following pages link to Deciding Bisimilarities on Distributions (Q5415456):
Displaying 7 items.
- Probabilistic bisimulation for realistic schedulers (Q1671244) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- (Q5111636) (← links)
- Probabilistic Bisimulation for Realistic Schedulers (Q5206954) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
