TY  - BOOK
AU  - Bowman, Howard
AU  - Gomez, Rodolfo
TI  - Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems
SN  - 9781852338954
U1  - 004.35 
PY  - 2006///
CY  - London
PB  - Springer
KW  - LOTOS (Computer program language)
KW  - Machine theory
KW  - Parallel processing (Electronic computers)--Mathematical models
ER  -