Technical Reports
The report FIMU-RS-2004-06
Deciding Probabilistic Bisimilarity over Infinite-State Probabilistic Systems
by Tomáš Brázdil, Antonín Kučera, Oldřich Stražovský, A full version of the paper presented at CONCUR`04. September 2004, 26 pages.
FIMU-RS-2004-06. Available as Postscript, PDF.
Abstract:
We prove that probabilistic bisimilarity is decidable over
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.