Pages that link to "Item:Q5458376"

The following pages link to Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376):

Displaying 2 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)