CONCUR 2002 - Concurrency Theory 13th International Conference, Brno, Czech Republic, August 20-23, 2002. Proceedings - Brim, Lubos; Brim, Lubos; Jancar, Petr; Jancar, Petr; Kretinsky, Mojmir; Kretinsky, Mojmir; Kucera, Antonin; Kucera, Antonin (Springer Berlin Heidelberg : Imprint: Springer, 2002)