TY  - BOOK
AU  - Davies, Jim
TI  -  Specification And Proof In Real Time Csp
SN  - 9780521450553
U1  - 004.33 
PY  - 1993///
CY  - Cambridge
PB  - Cambridge university press
KW  -  real-time data processing
N1  - index
ER  -