Original language | English |
---|---|
Publication status | Published - 2004 |
Bisimilarity is not Finitely Based over BPA with Interrupt
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
Research output: Working paper › Research
Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain
Research output: Working paper › Research
Original language | English |
---|---|
Publication status | Published - 2004 |