Pages that link to "Item:Q5412011"

The following pages link to Enhancements of the bisimulation proof method (Q5412011):

Displaying 30 items.

• Algorithms for Kleene algebra with converse (Q299194) (← links)
• Structural congruence for bialgebraic semantics (Q338626) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
• Proving language inclusion and equivalence by coinduction (Q899321) (← links)
• Proving soundness of extensional normal-form bisimilarities (Q2130582) (← links)
• Diacritical companions (Q2133161) (← links)
• Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
• Towards `up to context' reasoning about higher-order processes (Q2286742) (← links)
• Mechanized metatheory revisited (Q2323447) (← links)
• Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
• Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
• Up-To Techniques for Weighted Systems (Q3303913) (← links)
• (Q5028460) (← links)
• (Q5089290) (← links)
• (Q5094151) (← links)
• Parameterizing higher-order processes on names and processes (Q5108373) (← links)
• (Q5111636) (← links)
• (Q5155671) (← links)
• (Q5155688) (← links)
• (Q5228882) (← links)
• Equations, Contractions, and Unique Solutions (Q5278202) (← links)
• Enhanced coalgebraic bisimulation (Q5361143) (← links)
• Reasoning about multi-stage programs (Q5371979) (← links)
• (Q5377471) (← links)
• Automata Learning: A Categorical Perspective (Q5418974) (← links)
• Compositional Coinduction with Sized Types (Q5739446) (← links)
• (Q5875346) (← links)
• Sequencing and intermediate acceptance: Axiomatisation and decidability of bisimilarity (Q5875352) (← links)
• From bounded checking to verification of equivalence via symbolic up-to techniques (Q6535615) (← links)