tKlaim

MaRDI QIDQ21997swMATHFDO

Official website http://www.sciencedirect.com/science/article/pii/S016764230600150X

Described by source

• Global computing in a dynamic network of tuple spaces

Cited in

(8)

• Extensionality of spatial observations in distributed systems
• Klava
• MWB
• KLAIM
• A theory of system behaviour in the presence of node and link failure
• CONCUR 2005 – Concurrency Theory
• On the expressive power of \textsc{Klaim}-based calculi
• Basic observables for a calculus for global computing

This page was built for software: tKlaim