tKlaim

swMATH10023MaRDI QIDQ21997FDOQ21997

Author name not available (Why is that?)

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

Described by source

• Global computing in a dynamic network of tuple spaces

Cited In (7)

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

This page was built for software: tKlaim