TY  - BOOK
AU  - Schneider, Steve
TI  - Concurrent and realtime systems: the CSP approach
SN  - 0-471-62373-3
PY  - 2000///
CY  - Chichester
PB  - John Wiley
KW  - Communicating sequential processes (CSP)
KW  - Real time computation
KW  - Computer science
ER  -