The following pages link to tKlaim (Q21997):
Displaying 5 items.
- A theory of system behaviour in the presence of node and link failure (Q939442) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- Extensionality of Spatial Observations in Distributed Systems (Q2866349) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897495) (← links)
