On Finite Representations of Infinite-State Behaviours.

KUČERA, Antonín. On Finite Representations of Infinite-State Behaviours. F. Plášil, K.G. Jeffery (Eds.). In Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97). Berlin: Springer, 1997, s. 481-488. Lecture Notes in Computer Science, vol. 1338. ISBN 3-540-63774-5.

Základní údaje

Originální název

On Finite Representations of Infinite-State Behaviours.

Autoři

KUČERA, Antonín
F. Plášil, K.G. Jeffery (Eds.).

Vydání

Berlin, Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97), s. 481-488, Lecture Notes in Computer Science, vol. 1338, 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:00000096

Organizační jednotka

Fakulta informatiky

ISBN

3-540-63774-5

UT WoS

000080537800005

Klíčová slova anglicky

concurrency; infinite-state systems; behavioural equivalences

Štítky

behavioural equivalences, 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ů
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ů