Technical Reports
The report FIMU-RS-2005-06
Refining the Undecidability Border of Weak Bisimilarity
by Mojmír Křetínský, Vojtěch Řehák, Jan Strejček, A full version of the paper presented at INFINITY 2005. August 2005, 20 pages.
FIMU-RS-2005-06. Available as Postscript, PDF.
Abstract:
Weak bisimilarity is one of the most studied behavioural equivalences. This
Responsible contact:
vedaXDjbU2LSW@fiQ1T5fpnNE.muni8CVI=SRv5.cz
Please install a newer browser for this site to function properly.