tKlaim
From MaRDI portal
Software:21997
No author found.
Related Items (5)
Basic observables for a calculus for global computing ⋮ A theory of system behaviour in the presence of node and link failure ⋮ On the expressive power of \textsc{Klaim}-based calculi ⋮ CONCUR 2005 – Concurrency Theory ⋮ Extensionality of Spatial Observations in Distributed Systems
This page was built for software: tKlaim
