TY  - BOOK
AU  - Bowman,Howard
AU  - Gomez,Rodolfo
ED  - SpringerLink (Online service)
TI  - Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems 
SN  - 9781846283369 (electronic bk.)
AV  - QA76.58 .B69 2006
U1  - 004.015113 22
PY  - 2006///
CY  - London
PB  - Springer-Verlag London Limited
KW  - Parallel processing (Electronic computers)
KW  - Mathematical models
KW  - Machine theory
KW  - LOTOS (Computer program language)
KW  - Computer Science
KW  - Software Engineering
KW  - Logics and Meanings of Programs
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/1-84628-336-1
ER  -