Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems - Bowman, Howard