Decidability of bisimilarity for one-counter processes

Author
Date
2000
Type
article
Location
Není ve fondu ÚK
ISSN
0890-5401
Metadata
Show full item record
Citation source document
Information and Computation. 2000, vol. 158, issue 1, p. 1-17 .
Available at
http://dx.doi.org/10.1006/inco.1999.2813
URI
http://hdl.handle.net/10084/58004
Collections
Citace PRO