Decidability of bisimilarity for one-counter processes

dc.contributor.author	Jančar, Petr
dc.date.accessioned	2006-11-09T11:58:12Z
dc.date.available	2006-11-09T11:58:12Z
dc.date.issued	2000
dc.identifier.citation	Information and Computation. 2000, vol. 158, issue 1, p. 1-17 .	en
dc.identifier.issn	0890-5401
dc.identifier.uri	http://hdl.handle.net/10084/58004
dc.language.iso	en	en
dc.publisher	Academic Press	en
dc.relation.ispartofseries	Information and Computation	en
dc.relation.uri	http://dx.doi.org/10.1006/inco.1999.2813	en
dc.subject	equivalence	en
dc.title	Decidability of bisimilarity for one-counter processes	en
dc.type	article	en
dc.identifier.location	Není ve fondu ÚK	en
dc.description.abstract-en	It is shown that bisimulation equivalence is decidable for the processes generated by (nondeterministic) pushdown automata, where the pushdown behaves like a counter. Also finiteness up to bisimilarity is shown to be decidable for the mentioned processes.	en
dc.identifier.doi	10.1006/inco.1999.2813
dc.identifier.wos	000086495000001

Soubory tohoto záznamu

Soubory	Velikost	Formát	Zobrazit
K tomuto záznamu nejsou připojeny žádné soubory.

Publikační činnost VŠB-TUO ve Web of Science / Publications of VŠB-TUO in Web of Science [7798]
Kolekce obsahuje bibliografické záznamy článků akademických pracovníků VŠB-TUO publikovaných v časopisech indexovaných ve Web of Science od roku 1990 po současnost.