Klava

MaRDI QIDQ13983swMATHFDO

Official website http://music.dsi.unifi.it/klava/

Described by source

• Klava: a Java package for distributed and mobile applications

Cited in

(28)

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

This page was built for software: Klava