The following pages link to Probabilistic Barbed Congruence (Q2870293):
Displayed 5 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- On the Semantics of Markov Automata (Q3012929) (← links)