Bisimilarity is not Borel

TitleBisimilarity is not Borel
Publication TypeManuscript
Year of Publication2012
AuthorsSánchez Terraf, P
Collection TitleArXiv e-prints
Keywords03B70, 03E15, 28A05, Computer Science - Logic in Computer Science, F.1.2, F.4.1, Mathematics - Logic