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