English Unordered Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems Howard Bowman,Rodolfo Gomez 2005 View book