Pages that link to "Item:Q5953448"

The following pages link to Bisimulation verification using the up to techniques (Q5953448):

Displaying 3 items.

• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
• Graded monads and behavioural equivalence games (Q6649498) (← links)