Pages that link to "Item:Q935465"
From MaRDI portal
The following pages link to Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465):
Displaying 4 items.
- Conversation types (Q615952) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896949) (← links)