“...International Conference on Concurrency Theory Brno, Česko)...”