Deciding bisimulation-like equivalences with finite-state processes

Thumbnail
Author
Jančar, Petr
Kučera, Antonín
Mayr, Richard
Date
1998
Type
article
Location
Není ve fondu ÚK
ISSN
0302-9743
1611-3349
 
 
Metadata
Show full item record
Citation source document
Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998. Proceedings. 1998, p. 200-211. Lecture notes in computer science, vol. 1443.
Available at
http://dx.doi.org/10.1007/BFb0055035
URI
http://hdl.handle.net/10084/62798
Collections