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

Publiceret: 2005-06-03

Artikler