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, p. 302-316. Lecture Notes in Computer Science, vol. 1243. ISBN 3-540-63141-0.

Basic information

Original name

How to Parallelize Sequential Processes

Authors

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

Edition

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

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/97:00000100

Organization unit

Faculty of Informatics

ISBN

3-540-63141-0

UT WoS

000074016300021

Keywords in English

concurrency; bisimilarity; infinite-state systems; decomposability

Tags

bisimilarity, concurrency, decomposability, infinite-state systems

---

Links

GA201/97/0456, research and development project	Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Czech Science Foundation, Algorithmic Verification Boundaries for Infinite-State Systems
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing