The following pages link to (Q2729050):
Displaying 4 items.
- Process calculi as a tool for studying coordination, contracts and session types (Q1987732) (← links)
- A process algebraic view of shared dataspace coordination (Q2474048) (← links)
- Comparative analysis of the expressiveness of shared dataspace coordination (Q2841273) (← links)
- When to Move to Transfer Nets (Q3460877) (← links)