The following pages link to (Q4222913):
Displaying 6 items.
- Comparing three semantics for Linda-like languages (Q1575148) (← links)
- On the expressiveness of Linda coordination primitives. (Q1854324) (← links)
- What is a ``good'' encoding of guarded choice? (Q1854329) (← links)
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- On the expressiveness of multiplicities in data-based coordination languages (Q1987734) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)