Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems /
Bowman, Howard,1966-
Gomez, Rodolfo.
London : Springer,
c2006.
Includes bibliographical references and index.
Multitasking (Computer science)
Synchronous data transmission systems.
Machine theory.
Calculus
Mathematical models.