Concurrency theory calculi and automata for modelling untimed and timed concurrent systems
Year of Publication 2006
Plný text
Book