01168cmm a2200265 4500 214831536 TxAuBib 20120507120000.0 060502s2006||||||||||||||||||||||||eng|u 9781846283369 electronic bk. 1846283361 electronic bk. (OCoLC)68041763 N$T eng N$T OCLCQ YDXCP OCLCG OCLCQ CEF OCLCQ TxAuBib Bowman, Howard, 1966- Concurrency theory [electronic resource] : calculi and automata for modelling untimed and timed concurrent systems / Howard Bowman and Rodolfo Gomez. London : Springer, 2006. 1 online resource (xxiv, 435 p.) : ill. Includes bibliographical references (p. [397]-407) and index. Parallel processing (Electronic computers) Mathematical models. Machine theory. LOTOS (Computer program language.) Computers Systems Architecture Distributed Systems & Computing. Electronic books. Gomez, Rodolfo. https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=155863 EBSCOhost