The following pages link to (Q4449169):
Displaying 10 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Global computing in a dynamic network of tuple spaces (Q859968) (← links)
- From flow logic to static type systems for coordination languages (Q967521) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- Types for access control (Q1575157) (← links)
- Resource access control in systems of mobile agents (Q1854507) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- (Q4223018) (← links)
- Coordination Models and Languages (Q5717739) (← links)
- Global Computing. Programming Environments, Languages, Security, and Analysis of Systems (Q5897114) (← links)
