![](/img/cover-not-exists.png)
Deciding bisimulation-like equivalences with finite-state processes
Petr Jančar, Antonı́n Kučera, Richard MayrVolume:
258
Year:
2001
Language:
english
Pages:
25
DOI:
10.1016/s0304-3975(00)00027-x
File:
PDF, 205 KB
english, 2001