Deciding bisimulation-like equivalences with finite-state processes

Autor
Datum vydání
2001
Typ dokumentu
article
Lokace
Není ve fondu ÚK
ISSN
0304-3975
Metadata
Zobrazit celý záznam
Citace zdrojového dokumentu
Theoretical Computer Science. 2001, vol. 258, issues 1-2, p. 409-433.
Dostupné na
http://dx.doi.org/10.1016/S0304-3975(00)00027-X
URI
http://hdl.handle.net/10084/57925
Kolekce
Citace PRO