The following pages link to (Q4536608):
Displaying 7 items.
- On cool congruence formats for weak bisimulations (Q549196) (← links)
- Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity (Q1680509) (← links)
- Ordered SOS process languages for branching and eager bisimulations (Q1854563) (← links)
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation (Q1878718) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence (Q2272990) (← links)
- Divide and congruence III: Stability & divergence (Q5111628) (← links)
