TY  - GEN
AU  - Roscoe,A.W.
AU  - 
ED  - 
ED  - 
ED  - 
TI  - Understanding concurrent systems
U1  - 004.35 
PY  - 2010///
CY  - New York
PB  - Springer
KW  - 
ER  -