Process Algebra: A Unifying Approach (Communicating Sequential Processes: The First 25 Years‚ Symposium on the Occasion of 25 Years of CSP‚ London‚ UK‚ July 7−8‚ 2004‚ Revised Invited Papers, 2004)

(untitled) - Hoare, C