CONCUR 2002 : Springer : 9783540440437 : 3540440437 : 05 Aug 2002 : This volume contains the proceedings of the 13th International Conference on Concurrency Theory (CONCUR 2002)held in Brno, Czech Republic, August 20?23, 2002. The purpose of the CONCUR conferences is to bring together researchers, - velopers and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their applications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics and veri?cation techniques for concurrent systems. T- ics include concurrency-related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, - brid systems, probabilistic systems, model-checking, veri?cation techniques, - ?nement techniques, term and graph rewriting, distributed programmin