The following pages link to (Q4222911):
Displaying 9 items.
- Measure and probability for concurrency theorists (Q1589655) (← links)
- Additive models of probabilistic processes (Q1607220) (← links)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- Deciding bisimilarity and similarity for probabilistic processes. (Q1975973) (← links)
- Bisimulation for labelled Markov processes (Q2506488) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)
- Causal Unfoldings (Q5875372) (← links)
- An introduction to metric semantics: Operational and denotational models for programming and specification languages (Q5941193) (← links)
