TY  - BOOK
AU  - Bowman, Howard
AU  - Gomez, Rodolfo
TI  - Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
SN  - 9781852338954
U1  - 004.35 
PY  - 2006///
CY  - London
PB  - Springer
KW  - Machine theory
ER  -