2 treff

Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems
Howard Bowman and Rodolfo Gomez
Bok Engelsk 2006
Formal methods for distributed processing : a survey of object-oriented approaches
edited by Howard Bowman, John Derrick
Bok Engelsk 2001