Bisimilarity of Processes with Finite-State Systems

JANČAR, Petr, Antonín KUČERA a Richard MAYR. Bisimilarity of Processes with Finite-State Systems. K. Larsen, S. Skyum, G. Winskel (Eds.). In Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98). Berlin: Springer, 1998, s. 200-211. Lecture Notes in Computer Science, vol. 1443. ISBN 3-540-64781-3.

Základní údaje

Originální název

Bisimilarity of Processes with Finite-State Systems

Autoři

JANČAR, Petr, Antonín KUČERA a Richard MAYR
K. Larsen, S. Skyum, G. Winskel (Eds.).

Vydání

Berlin, Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98), s. 200-211, Lecture Notes in Computer Science, vol. 1443, 1998

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/98:00000695

Organizační jednotka

Fakulta informatiky

ISBN

3-540-64781-3

Klíčová slova anglicky

concurrency; bisimilarity; infinite-state systems

Štítky

bisimilarity, concurrency, 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ů
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ů