1 results for tags
Hoare x
-
Communicating Sequential Processes (CSP), by C. A. R. Hoare (Electronic Version)
A way of putting together formally understandable systems from concurrent parts. Similar style to the automata theory book and, again, offers a new way to look at just about everything. [from a post on comp.lang.lisp]Wed Jun 28 14:28:44 2006 - permalink -- http://www.usingcsp.com/