Highly Undecidable Questions for Process Algebras
| Název česky | Vysoce nerozhodnutelne problemy pro algebry procesu |
|---|---|
| Autoři | |
| 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 | |
| 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: |