TY  - BOOK
AU  - DAVIES J.
TI  - SPECIFICATION AND PROOF IN REAL-TIME CSP
SN  - 0000521450551
U1  - 004.33 
PB  - CAMEBRIDGE : CAMEBRIDGE UNIVERSITY PRESS
KW  - PROCESSIONG MODES : REAL-TIME PROCESSING
ER  -