The following pages link to Programming Languages and Systems (Q5902355):
Displaying 4 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)
- Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs (Q5505606) (← links)
