![](/img/cover-not-exists.png)
Deciding observational congruence of finite-state CCS expressions by rewriting
P. Inverardi, M. NesiVolume:
139
Year:
1995
Language:
english
Pages:
40
DOI:
10.1016/0304-3975(94)00074-s
File:
PDF, 2.01 MB
english, 1995