Pages that link to "Item:Q549196"
From MaRDI portal
The following pages link to On cool congruence formats for weak bisimulations (Q549196):
Displayed 5 items.
- Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- On constructibility and unconstructibility of LTS operators from other LTS operators (Q2340256) (← links)
- Notes on Generative Probabilistic Bisimulation (Q2866317) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)