Lubos Brim Petr Jancar Mojmír Kretínský Antonín Kucera CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings CONCUR Lecture Notes in Computer Science 2421 Springer 2002 3-540-44043-7 db/conf/concur/concur2002.html