Klava

swMATH1243MaRDI QIDQ13983FDOQ13983

Author name not available (Why is that?)

Described by source

• Klava: a Java package for distributed and mobile applications

Cited In (17)

• 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
• Programming Languages and Systems
• Dynamic management of capabilities in a network aware coordination language
• Coordination Models and Languages
• Title not available (Why is that?)
• 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?)

This page was built for software: Klava