The following pages link to (Q2848668):
Displayed 7 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)
- Ugo Montanari and Graph Transformation (Q3507353) (← links)
- PRISMA: A Mobile Calculus with Parametric Synchronization (Q3608457) (← links)
- (Q5021233) (← links)
- Exploiting User-definable Synchronizations in Graph Transformation (Q5404173) (← links)