Bisimulation equivalence is decidable for one-counter processes
Datum vydání
1997Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0302-97431611-3349
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
Automata, Languages and Programming : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997. Proceedings. 1997, p. 549-559.