Simulation Preorder on Simple Process Algebras

KUČERA, Antonín a Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99). Berlin: Springer, 1999, s. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3.

Základní údaje

Originální název

Simulation Preorder on Simple Process Algebras

Autoři

KUČERA, Antonín a Richard MAYR
J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.).

Vydání

Berlin, Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), s. 503-512, Lecture Notes in Computer Science, vol. 1644, 1999

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/99:00001101

Organizační jednotka

Fakulta informatiky

ISBN

3-540-66224-3

Klíčová slova anglicky

concurrency; simulation; infinite-state systems

Štítky

concurrency, infinite-state systems, simulation

---

Návaznosti

GA201/98/P046, projekt VaV	Název: Rozhodnutelné problémy v algebrách procesů Investor: Grantová agentura ČR, Rozhodnutelné problémy v algebrách procesů
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ů