Bowman, Howard
Concurrency theory : calculi an automata for modelling untimed and timed concurrent systems
- London: Springer, 2006
- xxiv, 435 p.; ill.: 24 cm.
1852338954 (hbk)
Calculus -- Computer programs
Machine theory
Mathematical models
Multitasking (Computer science)
Synchronous data transmission systems
004.015113 / BOW