Concurrency theory calculi and automata for modelling untimed and timed concurrent systems (Springer, 2006)
Obsahuje rejstřík.