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 -