CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

Brim,  Luboš; Jančar,  Petr; Křetínský,  Mojmír; Kučera,  Antonín

CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings.

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš JANČAR Petr KŘETÍNSKÝ Mojmír KUČERA Antonín
Year of publication	2002
Type	Monograph
MU Faculty or unit	Faculty of Informatics
Citation
Description	Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002) held in Brno, Czech Republic, August 20-23 2002.
Related projects:	Infinite state concurrent systems - models and verification Algorithms and tools for practical verification of concurrent systems. Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing