Pages that link to "Item:Q1633345"
From MaRDI portal
The following pages link to Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345):
Displaying 5 items.
- Preface to the special issue on open problems in concurrency theory (Q2096427) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus (Q5162607) (← links)
- Probabilistic weak bisimulation and axiomatization for probabilistic models (Q6161460) (← links)
