Pages that link to "Item:Q3419789"

The following pages link to Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts (Q3419789):

Displaying 20 items.

• A decentralised graphical implementation of mobile ambients (Q624388) (← links)
• Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
• A structural approach to graph transformation based on symmetric Petri nets (Q2035652) (← links)
• A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
• A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
• Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
• Deriving Bisimulation Congruences with Borrowed Contexts (Q3612482) (← links)
• Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
• Recognizable languages of arrows and cospans (Q4585008) (← links)
• A Flexible and Easy-to-Use Library for the Rapid Development of Graph Tools in Java (Q5100741) (← links)
• On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
• Towards Secrecy for Rewriting in Weakly Adhesive Categories (Q5166615) (← links)
• A Note on an Old-Fashioned Algebra for (Disconnected) Graphs (Q5170278) (← links)
• Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
• RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
• Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
• Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)
• RPO semantics for mobile ambients (Q5740373) (← links)
• From rewrite rules to bisimulation congruences (Q5958468) (← links)
• Graph Rewriting Components (Q6487304) (← links)