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