Refining Undecidability Border of Weak Bisimilarity.

Varování

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

Název česky	Zjemneni hranice nerozhodnutelnosti slabe bisimulace
Autoři	KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan
Rok publikování	2006
Druh	Článek ve sborníku
Konference	Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://dx.doi.org/10.1016/j.entcs.2005.11.014
Obor	Informatika
Klíčová slova	process rewrite systems; state extension; infinite-state; decidability; weak bisimilarity
Popis	Časopisecké vydání sborníku INFINITY2005. Ukazujeme, že slabá bisimulace zůstává nerozhodnutelná i pro slabě rozšířené varianty tříd BPA a BPP.
Související projekty:	Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy