The following pages link to (Q4499230):
Displayed 5 items.
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Calculating Colimits Compositionally (Q3507390) (← links)