An old classic...available online!

It's been so long since I read CAR Hoare's CSP tome that I'd completely forgotten about it, until I spotted a reference in an archived email that I'd completely missed.

For those interested in formal reasoning about some special kinds of parallel processing, CSP is probably worth revisiting (if you are old enough to remember when it was published) or worth a read for the first time if you are young enough to have missed it ;>
Comments:

Post a Comment:
Comments are closed for this entry.
About

khb

Search

Categories
Archives
« April 2014
SunMonTueWedThuFriSat
  
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
   
       
Today