Sabina Petride Review of "Concurrent and real-time systems: the CSP approach" by Steve Schneider. Wiley 1999. 4-12 2004 35 SIGACT News 2 http://doi.acm.org/10.1145/992287.992291 db/journals/sigact/sigact35.html#Petride04