Pages that link to "Item:Q4917051"

The following pages link to A Concurrent Graph Semantics for Mobile Ambients1 1Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST (Q4917051):

Displayed 8 items.

• A decentralised graphical implementation of mobile ambients (Q624388) ‎ (← links)
• Synthesising CCS bisimulation using graph rewriting (Q1004288) ‎ (← links)
• Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) ‎ (← links)
• Ugo Montanari and Graph Transformation (Q3507353) ‎ (← links)
• A Decentralized Implementation of Mobile Ambients (Q3540392) ‎ (← links)
• GETGRATS (Q4923529) ‎ (← links)
• Categorical rewriting of term-like structures (Q4923533) ‎ (← links)
• Adhesive and quasiadhesive categories (Q5313719) ‎ (← links)