The following pages link to (Q4621159):
Displaying 6 items.
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Equivalence and independence in controlled graph-rewriting processes (Q1663987) (← links)
- A calculus of concurrent graph-rewriting processes (Q2291821) (← links)
- A higher-order calculus for graph transformation (Q2843932) (← links)
- An operational semantics of \textsc{CommUnity} based on graph transformation systems (Q2847853) (← links)
- (Q4027629) (← links)