CSP Is a Retract of CCS

DOI10.1007/11768173_3zbMath1186.68320OpenAlexW45757922MaRDI QIDQ5307473

Jifeng He, C. A. R. 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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Jifeng He at Oxford and beyond: an appreciation

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