Skip to main content

CSP Is a Retract of CCS

Jifeng He and C. A. R. Hoare

Book Title
Unifying Theories of Programming‚ First International Symposium‚ UTP 2006‚ Walworth Castle‚ County Durham‚ UK‚ February 5−7‚ 2006‚ Revised Selected Papers
Editor
Steve Dunne and Bill Stoddart
Pages
38−62
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
4010
Year
2006