The following pages link to (Q2852097):
Displayed 5 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A precongruence format for should testing preorder (Q974134) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)