tKlaim

swMATH10023MaRDI QIDQ21997FDOQ21997

Author name not available (Why is that?)

Described by source

• Global computing in a dynamic network of tuple spaces

Cited In (5)

• 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
• CONCUR 2005 – Concurrency Theory
• Extensionality of spatial observations in distributed systems

This page was built for software: tKlaim