CSP Is a Retract of CCS

DOI10.1007/11768173_3MaRDI QIDQ5307473zbMATH OpenOpenAlexFDO

Authors Jifeng He, Tony Hoare

Publication date 14 September 2007

Published in Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11768173_3

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• CSP is a retract of CCS
• Theoretical Aspects of Computing – ICTAC 2005
• Communicating Sequential Processes. The First 25 Years
• Process simulation and refinement
• Retracing CSP

Cited in

(5)

• A note on traces refinement and the conf relation in the unifying theories of programming
• Communicating Sequential Processes. The First 25 Years
• Translation of CCS into CSP, correct up to strong bisimulation
• Jifeng He at Oxford and beyond: an appreciation
• CSP is a retract of CCS

This page was built for publication: CSP Is a Retract of CCS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5307473)