|
[CS02]
S. Cattani and R. Segala.
Decision algorithms for probabilistic bisimulation.
In L. Brim and P. Janar and M. Ketinsky and A. Kuera (editors), Proc. 14th International Conference on Concurrency Theory (CONCUR'02), volume 2421 of Lecture Notes in Computer Science, pages 371-385, Springer.
August 2002.
[ps.gz]
[pdf]
[bib]
|
|
Downloads:
 ps.gz (97 KB)
 pdf (257 KB)
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|