How to Parallelize Sequential Processes

KUČERA, Antonín. How to Parallelize Sequential Processes. A. Mazurkiewicz, J. Winkowski (Eds.). In Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97). Berlin: Springer, 1997, s. 302-316. Lecture Notes in Computer Science, vol. 1243. ISBN 3-540-63141-0.

Základní údaje

Originální název

How to Parallelize Sequential Processes

Autoři

KUČERA, Antonín
A. Mazurkiewicz, J. Winkowski (Eds.).

Vydání

Berlin, Proceedings of 8th International Conference on Concurrency Theory (CONCUR´97), s. 302-316, Lecture Notes in Computer Science, vol. 1243, 1997

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

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/97:00000100

Organizační jednotka

Fakulta informatiky

ISBN

3-540-63141-0

UT WoS

000074016300021

Klíčová slova anglicky

concurrency; bisimilarity; infinite-state systems; decomposability

Štítky

bisimilarity, concurrency, decomposability, infinite-state systems

---

Návaznosti

GA201/97/0456, projekt VaV	Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavový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ů