Pages that link to "Item:Q2852097"
From MaRDI portal
The following pages link to Divide and congruence applied to \(\eta\)-bisimulation (Q2852097):
Displaying 6 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)
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation (Q3591399) (← links)