Klava
From MaRDI portal
Software:13983
No author found.
Related Items (17)
Unnamed Item ⋮ Basic observables for a calculus for global computing ⋮ Unnamed Item ⋮ MetaKlaim: a type safe multi-stage language for global computing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Secure shared data-space coordination languages: a process algebraic survey ⋮ Coordination Models and Languages ⋮ Coordination Models and Languages ⋮ Causal-consistent rollback in a tuple-based language ⋮ Providing data confidentiality against malicious hosts in shared data spaces ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ A rule based knowledge transaction model for mobile environments ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ Dynamic management of capabilities in a network aware coordination language ⋮ Programming Languages and Systems ⋮ MOMI: a calculus for mobile mixins
This page was built for software: Klava
