Read without ads and support Scribd by becoming a Scribd Premium Reader.
See Premium Plans
 
CommunicatingSequential Processes
C. A. R. Hoare
March 31, 2004
 
© C. A. R. Hoare, 2003This document is an electronic version of 
Communicating Sequential Processes 
, first published in 1985 by Prentice Hall International. It may becopied, printed, and distributed free of charge. However, such copying,printing, or distribution may not:
−
be carried out for commercial gain; or
−
take place within India, Pakistan, Bangladesh, Sri Lanka, or the Maldives;or
−
involve any modification to the document itself.Questions and comments are welcome, and should be sent to the editor of this version:
Jim.Davies@comlab.ox.ac.uk
.
 
Foreword
For a variety of reasons, this is a book eagerly awaited by all who knew itwas in the making; to say that their patience has been rewarded would be anunderstatement.A simple reason was that it is Tony Hoare’s first book. Many know himfrom the lectures he has untiringly given all over the world; many more knowhim as the articulate and careful author of a number of articles (of great va-riety!) that became classics almost before the printer’s ink had dried. But a book is a different medium: here the author can express himself without theusually stringent limitations of time and space; it gives him the opportunityof revealing himself more intimately and of covering a topic of wider span,opportunities of which Tony Hoare has made the best use we could hope for.A more solid reason was derived from the direct contents of the book.When concurrency confronted the computing community about a quarter of a century ago, it caused an endless confusion, partly by the technically verydifferent circumstances in which it emerged, partly by the accident of historythat it introduced non-determinism at the same time. The disentanglement of that confusion required the hard work of a mature and devoted scientist who,with luck, would clarify the situation. Tony Hoare has devoted a major partof his scientific endeavours to that challenge, and we have every reason to begrateful for that.The most profound reason, however, was keenly felt by those who hadseen earlier drafts of his manuscript, which shed with surprising clarity newlight on what computing science could—or even should—be. To say or feelthat the computing scientist’s main challenge is not to get confused by thecomplexities of his own making is one thing; it is quite a different matter todiscover and show how a strict adherence to the tangible and quite explicitelegance of a few mathematical laws can achieve this lofty goal. It is herethat we, the grateful readers, reap to my taste the greatest benefits from thescientific wisdom, the notational intrepidity, and the manipulative agility of Charles Antony Richard Hoare.Edsger W. Dijkstra
Search
Search History:
Searching...
Result 00 of 00
00 results for result for
  • p.
    • Notes
    Load more