Pages that link to "Item:Q2892789"
From MaRDI portal
The following pages link to Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (Q2892789):
Displayed 7 items.
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4580323) (← links)
- (Q5013870) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)