Bisimulation equivalence is decidable for one-counter processes

Author
Date
1997
Type
article
Location
Není ve fondu ÚK
ISSN
0302-9743
1611-3349
Metadata
Show full item record
Citation source document
Automata, Languages and Programming : 24th International Colloquium, ICALP '97 Bologna, Italy, July 7–11, 1997. Proceedings. 1997, p. 549-559.
Available at
http://dx.doi.org/10.1007/3-540-63165-8
URI
http://hdl.handle.net/10084/62370
Collections
Citace PRO