Bisimilarity is not Borel
Title | Bisimilarity is not Borel |
Publication Type | Manuscript |
Year of Publication | 2012 |
Authors | Sánchez Terraf, P |
Collection Title | ArXiv e-prints |
Keywords | 03B70, 03E15, 28A05, Computer Science - Logic in Computer Science, F.1.2, F.4.1, Mathematics - Logic |