%0 Journal Article %1 hoare_06_why %A Hoare, Tony %B Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25) %D 2006 %J Electronic Notes in Theoretical Computer Science %K 2006 refinement \_hardcopy retractions unifying\_theories \_pdf bisimulation ccs csp %P 209--215 %R http://dx.doi.org/10.1016/j.entcs.2006.01.031 %T Why ever CSP? %U http://dx.doi.org/10.1016/j.entcs.2006.01.031 %V 162 %X The original theoretical model of Communicating Sequential Processes owed its inspiration to the achievements of Milner, Scott and Dijkstra. It was developed at around the time of the publication of Milner's Calculus of Communicating Systems. Why ever did CSP diverge from CCS?The ESPRIT basic research action 'CONCUR' brought together the proponents of three of the original calculi of concurrency: ACP, CCS and CSP. It was hoped that we would develop a unified calculus, and concur upon its adoption. Why ever did we fail?I would like to share with you the way in which I thought about these questions twenty five years ago. Since then, many excellent comparative studies have been conducted. As a result, we can now see how such theories can best be unified, without assimilation of their distinctive features or compromise of their distinctive merits.

@article{hoare_06_why, abstract = {The original theoretical model of Communicating Sequential Processes owed its inspiration to the achievements of Milner, Scott and Dijkstra. It was developed at around the time of the publication of Milner's Calculus of Communicating Systems. Why ever did CSP diverge from CCS?The ESPRIT basic research action 'CONCUR' brought together the proponents of three of the original calculi of concurrency: ACP, CCS and CSP. It was hoped that we would develop a unified calculus, and concur upon its adoption. Why ever did we fail?I would like to share with you the way in which I thought about these questions twenty five years ago. Since then, many excellent comparative studies have been conducted. As a result, we can now see how such theories can best be unified, without assimilation of their distinctive features or compromise of their distinctive merits.}, added-at = {2009-03-10T04:46:44.000+0100}, author = {Hoare, Tony}, biburl = {https://www.bibsonomy.org/bibtex/2793be3fe626b8d8369c8d2af6b7a7b90/leonardo}, booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25)}, citeulike-article-id = {875815}, doi = {http://dx.doi.org/10.1016/j.entcs.2006.01.031}, interhash = {aa0337e3bd132bc2177bdd7a7d9e297f}, intrahash = {793be3fe626b8d8369c8d2af6b7a7b90}, journal = {Electronic Notes in Theoretical Computer Science}, keywords = {2006 refinement \_hardcopy retractions unifying\_theories \_pdf bisimulation ccs csp}, month = {September}, pages = {209--215}, posted-at = {2006-11-01 01:31:13}, priority = {4}, timestamp = {2009-03-10T04:46:44.000+0100}, title = {Why ever CSP?}, url = {http://dx.doi.org/10.1016/j.entcs.2006.01.031}, volume = 162, year = 2006 }