Cited in
(28)- A coordination language for databases
- MOMI: a calculus for mobile mixins
- Providing data confidentiality against malicious hosts in shared data spaces
- scientific article; zbMATH DE number 2013343 (Why is no real title available?)
- On the expressive power of \textsc{Klaim}-based calculi
- Secure shared data-space coordination languages: a process algebraic survey
- Basic observables for a calculus for global computing
- CoorSet
- MetaKlaim
- MetaKlaim: a type safe multi-stage language for global computing
- KLAIM
- LIME
- Linda
- MOMI
- Sumatra
- SCELlight
- tKlaim
- SCEL
- Transactors
- Programming Languages and Systems
- 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
- scientific article; zbMATH DE number 2038704 (Why is no real title available?)
- A formal approach to the engineering of domain-specific distributed systems
- Causal-consistent rollback in a tuple-based language
- scientific article; zbMATH DE number 1951525 (Why is no real title available?)
This page was built for software: Klava
