Pages that link to "Item:Q4917051"
From MaRDI portal
Displaying 12 items.
- A decentralised graphical implementation of mobile ambients (Q624388) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Ambient graph rewriting (Q2849869) (← links)
- Modelling calculi with name mobility using graphs with equivalences (Q2867900) (← links)
- Encoding distributed process calculi into LMNtal (Q2870199) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- (Q4438761) (← links)
- GETGRATS (Q4923529) (← links)
- Categorical rewriting of term-like structures (Q4923533) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Programming Languages and Systems (Q5902355) (← links)