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

• Autoři: BRIM Luboš; JANČAR Petr; KŘETÍNSKÝ Mojmír; KUČERA Antonín
• Rok publikování: 2002
• Druh: Odborná kniha
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002) held in Brno, Czech Republic, August 20-23 2002.

Související projekty

• Nekonečně stavové souběžné systémy - modely a verifikace
• Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů