The following pages link to (Q4219040):
Displaying 13 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)
- Concurrent nets: a study of prefixing in process calculi (Q2491636) (← links)
- Explicit fusions (Q2566040) (← links)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- A graphical fusion calculus (Q2847787) (← links)
- Concurrent nets: a study of prefixing in process calculi (Q2848136) (← links)
- A Behavioural Theory for a π-calculus with Preorders (Q3455864) (← links)
- A foundation for higher-order concurrent constraint programming (Q5096300) (← links)
- Constraints as processes (Q6104383) (← links)