Observing Distributed Computation. A Dynamic-Epistemic Approach.

Radu Mardare

Browse the full CALCO paper archive.