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):

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