Pages that link to "Item:Q523132"

The following pages link to A general account of coinduction up-to (Q523132):

Displaying 15 items.

• (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
• Corecursion up-to via causal transformations (Q2104483) (← links)
• A symbolic decision procedure for symbolic alternating finite automata (Q2130584) (← links)
• Distributive laws for monotone specifications (Q2329307) (← links)
• Companions, Codensity and Causality (Q2988363) (← links)
• Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
• (Q5014802) (← links)
• (Q5028421) (← links)
• (Q5028440) (← links)
• Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
• (Q5094151) (← links)
• (Q5111623) (← links)
• (Q5228882) (← links)
• (Q5875346) (← links)
• Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)