Pages that link to "Item:Q2848668"
From MaRDI portal
The following pages link to Synchronization algebras with mobility for graph transformations (Q2848668):
Displaying 10 items.
- Parametric synchronizations in mobile nominal calculi (Q935464) (← links)
- A Petri net view of covalent bonds (Q2077408) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- A graphical fusion calculus (Q2847787) (← links)
- Hoare vs Milner: comparing synchronizations in a graphical framework with mobility (Q2852051) (← links)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)
- Continuous Additive Algebras and Injective Simulations of Synchronization Trees (Q4542239) (← links)
- (Q5021233) (← links)
- Exploiting User-definable Synchronizations in Graph Transformation (Q5404173) (← links)