Highly Undecidable Questions for Process Algebras

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Vysoce nerozhodnutelne problemy pro algebry procesu
Autoři	JANCAR Petr SRBA Jiří
Rok publikování	2004
Druh	Článek ve sborníku
Konference	Proceedings of 3rd IFIP International Conference on Theoretical Computer Science (TCS'04)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.brics.dk/~srba/publ.html
Obor	Informatika
Klíčová slova	high undecidability; process rewrite systems; completeness
Popis	V clanku je ukazana Sigma^1_1 uplnost slabe bisimilarity pro tridu PA a slabeho simulacniho predusporadani/ekvivalence pro zasobnikove automaty, PA a Petriho site. Rovnez jsou studovany problemy slabe omega-jazykove ekvivalence pro BPA a BPP.
Související projekty:	Verifikace nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů