Pages that link to "Item:Q549196"

The following pages link to On cool congruence formats for weak bisimulations (Q549196):

Displaying 11 items.

• Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity (Q418189) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• SOS formats and meta-theory: 20 years after (Q877025) (← 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)
• Characteristic invariants in Hennessy-Milner logic (Q2182678) (← 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)
• Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)