Pages that link to "Item:Q5167852"

The following pages link to Branching Bisimilarity Checking for PRS (Q5167852):

Displaying 5 items.

• Theory of interaction (Q896903) (← links)
• Parity game reductions (Q1656552) (← links)
• Equivalence of pushdown automata via first-order grammars (Q2208249) (← links)
• A generic framework for checking semantic equivalences between pushdown automata and finite-state automata (Q2409577) (← links)
• Branching Bisimulation Games (Q2827464) (← links)