Concurrency theory
Kniha
Citace v seznamu literatury:
Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems. London: Springer, 2006. Dostupné z: https://doi.org/9781852338954.