Bisimilarity is not Borel †
Publisher： Cambridge University Press
E-ISSN： 1469-8072|27|7|1265-1284
ISSN： 0960-1295
Source： Mathematical Structures in Computer Science, Vol.27, Iss.7, 2017-10, pp. : 1265-1284
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract