The following pages link to Concurrent Pattern Calculus (Q3163887):
Displaying 6 items.
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- On the Power of Attribute-Based Communication (Q2827459) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)
- A concurrent pattern calculus (Q2878758) (← links)