Klava

swMATH1243MaRDI QIDQ13983FDOQ13983

Author name not available (Why is that?)

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

Described by source

• Klava: a Java package for distributed and mobile applications

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