The following pages link to Programming Languages and Systems (Q5902355):
Displaying 6 items.
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- A chart semantics for the pi-calculus (Q2864369) (← links)
- Modelling calculi with name mobility using graphs with equivalences (Q2867900) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
- Graph rewriting for the π-calculus (Q5308095) (← links)
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)