Deciding bisimulation-like equivalences with finite-state processes

Author
Date
2001
Type
article
Location
Není ve fondu ÚK
ISSN
0304-3975
Metadata
Show full item record
Citation source document
Theoretical Computer Science. 2001, vol. 258, issues 1-2, p. 409-433.
Available at
http://dx.doi.org/10.1016/S0304-3975(00)00027-X
URI
http://hdl.handle.net/10084/57925
Collections
Citace PRO