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

BRIM, Luboš, Petr JANČAR, Mojmír KŘETÍNSKÝ a Antonín KUČERA. CONCUR 2002 - Concurrency Theory. 13th International Conference. Proceedings. Berlin, Heidelberg, New York: Springer, 2002, 609 s. Lecture Notes in Computer Science, vol. 2421. ISBN 3-540-44043-7.

Základní údaje

Originální název

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

Autoři

BRIM, Luboš (203 Česká republika), Petr JANČAR (203 Česká republika), Mojmír KŘETÍNSKÝ (203 Česká republika, garant) a Antonín KUČERA (203 Česká republika)

Vydání

Berlin, Heidelberg, New York, 609 s. Lecture Notes in Computer Science, vol. 2421, 2002

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

20206 Computer hardware and architecture

Stát vydavatele

Německo

Utajení

není předmětem státního či obchodního tajemství

Kód RIV

RIV/00216224:14330/02:00006388

Organizační jednotka

Fakulta informatiky

ISBN

3-540-44043-7

Klíčová slova anglicky

concurrency

Štítky

concurrency

Příznaky

Mezinárodní význam

---

Anotace

V originále

Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002) held in Brno, Czech Republic, August 20-23 2002.

---

Návaznosti

GA201/00/0400, projekt VaV	Název: Nekonečně stavové souběžné systémy - modely a verifikace Investor: Grantová agentura ČR, Nekonečně stavové souběžné systémy - modely a verifikace
GA201/00/1023, projekt VaV	Název: Algoritmy a nástroje pro praktickou verifikaci souběžných systémů Investor: Grantová agentura ČR, Algoritmy a nástroje pro praktickou verifikaci souběžných systémů
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů