The following pages link to Klava (Q13983):
Displaying 17 items.
- Causal-consistent rollback in a tuple-based language (Q516034) (← links)
- Providing data confidentiality against malicious hosts in shared data spaces (Q967526) (← links)
- Dynamic management of capabilities in a network aware coordination language (Q1035673) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- Secure shared data-space coordination languages: a process algebraic survey (Q2432758) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← links)
- MOMI: a calculus for mobile mixins (Q2576664) (← links)
- (Q2980974) (← links)
- (Q4413746) (← links)
- (Q4436560) (← links)
- (Q4449169) (← links)
- MetaKlaim: a type safe multi-stage language for global computing (Q4819115) (← links)
- Programming Languages and Systems (Q5308696) (← links)
- Coordination Models and Languages (Q5717728) (← links)
- Coordination Models and Languages (Q5717739) (← links)
