The following pages link to (Q2767080):
Displaying 7 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Belief, knowledge, lies and other utterances in an algebra for space and extrusion (Q347368) (← links)
- Continuation-based transformations for coordination languages (Q1575149) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Open Bisimulation for the Concurrent Constraint Pi-Calculus (Q5458401) (← links)