Bisimulation equivalence is decidable for one-counter processes

DSpace/Manakin Repository

aaK citaci nebo jako odkaz na tento záznam použijte identifikátor: http://hdl.handle.net/10084/62370

Show full item record


Title: Bisimulation equivalence is decidable for one-counter processes
Author: Jančar, Petr
Date issue: 1997
Citation: Automata, languages and programming : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997. Proceedings. 1997, p. 549-559. Lecture notes in computer science, vol. 1256.
URI: http://hdl.handle.net/10084/62370
ISSN: 0302-9743
1611-3349
DOI: 10.1007/3-540-63165-8
URI: http://dx.doi.org/10.1007/3-540-63165-8
ISBN: 978-3-540-63165-1
Type: Article
Access rights: Fulltext Request
Počet citací dokumentu:

Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

  • Publikační činnost VŠB-TUO / Publications of VŠB-TUO [1943]
    Kolekce obsahuje bibliografické záznamy publikační činnosti (článků) akademických pracovníků VŠB-TUO v časopisech (a v Lecture Notes in Computer Science) registrovaných ve Web of Science od roku 1990 po současnost.

Show full item record

Search DSpace


Advanced Search

Navigation

Browse

My Account

Statistics