No. 33 (2005): RS-33 Bisimilarity is not Finitely Based over BPA with Interrupt

Articles

• Bisimilarity is not Finitely Based over BPA with Interrupt

  Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Sumit Nain

  • PDF