Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

KUČERA, Antonín a Richard MAYR. Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time. J.C.M. Baeten, S. Mauw (Eds.). In Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99). Berlin: Springer, 1999, s. 368-382. Lecture Notes in Computer Science, vol. 1664. ISBN 3-540-66425-4.

Základní údaje

Originální název

Weak Bisimilarity with Infinite-State Systems Can Be Decided in Polynomial Time

Autoři

KUČERA, Antonín a Richard MAYR
J.C.M. Baeten, S. Mauw (Eds.).

Vydání

Berlin, Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99), s. 368-382, Lecture Notes in Computer Science, vol. 1664, 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:00001106

Organizační jednotka

Fakulta informatiky

ISBN

3-540-66425-4

UT WoS

000087625300026

Klíčová slova anglicky

verification; concurrency; weak bisimilarity; infinite-state systems

Štítky

concurrency, infinite-state systems, verification, weak bisimilarity

---

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ů