Bowman, H., & Gomez, R. (2006). Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. Springer.
Chicago Style (17th ed.) CitationBowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. London: Springer, 2006.
MLA (9th ed.) CitationBowman, Howard, and Rodolfo Gomez. Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems. Springer, 2006.
Warning: These citations may not always be 100% accurate.