Pages that link to "Item:Q1770428"
From MaRDI portal
The following pages link to A behavioural pseudometric for probabilistic transition systems (Q1770428):
Displaying 6 items.
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Computing bisimilarity metrics for probabilistic timed automata (Q6536354) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
- Graded semantics and graded logics for Eilenberg-Moore coalgebras (Q6666776) (← links)