The top documents tagged [execution of r p]

Algebra of Concurrent Programming Tony Hoare Cambridge 2011.

---

225 views

Algebra unifies calculi of programming Tony Hoare Feb 2012.

---

224 views