swMATH1243MaRDI QIDQ13983FDOQ13983
Author name not available (Why is that?)
Official website: http://music.dsi.unifi.it/klava/
Cited In (27)
- MOMI: a calculus for mobile mixins
- Providing data confidentiality against malicious hosts in shared data spaces
- Title not available (Why is that?)
- On the expressive power of \textsc{Klaim}-based calculi
- Secure shared data-space coordination languages: a process algebraic survey
- MetaKlaim: a type safe multi-stage language for global computing
- Basic observables for a calculus for global computing
- CoorSet
- KLAIM
- LIME
- Linda
- MOMI
- Sumatra
- SCELlight
- tKlaim
- Programming Languages and Systems
- SCEL
- Transactors
- Dynamic management of capabilities in a network aware coordination language
- Coordination Models and Languages
- Coordination Models and Languages
- A rule based knowledge transaction model for mobile environments
- Title not available (Why is that?)
- A formal approach to the engineering of domain-specific distributed systems
- Causal-consistent rollback in a tuple-based language
- Title not available (Why is that?)
- A coordination language for databases
This page was built for software: Klava
