The following pages link to (Q4219040):
Displaying 8 items.
- A closer look at constraints as processes (Q844200) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Bisimulation congruence of \(\chi\)-calculus (Q1398380) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Explicit fusions (Q2566040) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
