Skip to main content

Process Algebra: A Unifying Approach

C. A. R. Hoare

Book Title
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
Editor
Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders
Pages
36−60
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3525
Year
2004