Refining Undecidability Border of Weak Bisimilarity.

• 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
• 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