Thursday January 05, 2006 Keith Bierman's Weblog
Keith Bierman's Weblog
Thursday January 05, 2006
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 ;>
(2006-01-05 11:32:03.0)
Permalink
Comments:
Post a Comment:
Comments are closed for this entry.
Calendar
| « November 2009 | ||||||
| Sun | Mon | Tue | Wed | Thu | Fri | Sat |
|---|---|---|---|---|---|---|
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 | ||||||
RSS Feeds
All
/General
/Java
/Music
Search
Links
Navigation
Referers
Today's Page Hits: 79