Pages that link to "Item:Q418189"
From MaRDI portal
The following pages link to Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189):
Displayed 12 items.
- Raiders of the lost equivalence: probabilistic branching bisimilarity (Q783681) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Congruence from the operator's point of view. Syntactic requirements on modal characterizations (Q2182663) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- (Q4580323) (← links)
- (Q5020941) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)