On Finite Representations of Infinite-State Behaviours.

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	KUČERA Antonín
Rok publikování	1997
Druh	Článek ve sborníku
Konference	Proceedings of 24th Seminar on Current Trends in Theory and Practice of Informatics (SOFSEM'97)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Počítačový hardware a software
Klíčová slova	concurrency; infinite-state systems; behavioural equivalences
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů