All Stories

  1. Bisimilarity is not Borel

    Article • Mathematical Structures in Computer Science, December 2015, Cambridge University Press

    Pedro Sánchez Terraf