Pages that link to "Item:Q2709785"
From MaRDI portal
The following pages link to Domain equations for probabilistic processes (Q2709785):
Displaying 7 items.
- A logical duality for underspecified probabilistic systems (Q532396) (← links)
- Probabilistic mobile ambients (Q1006650) (← links)
- Constructive logical characterizations of bisimilarity for reactive probabilistic systems (Q1731513) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes (Q2257984) (← links)
- Probabilistic Barbed Congruence (Q2870293) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
