[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Hoare85

  1. C.A.R. Hoare
  2. Communicating Sequential Processes
  3. Prentice Hall 1985
  4. =IDEA CSP non-sequential formal logic structures
  5. Developed from [Hoare78]
  6. Contrast [Milner80] [Baetan90] ACP
  7. Later edition(2006) online [ cspbook.pdf ] as PDF.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]