Bisimilarity is not Finitely Based over BPA with Interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Research output: Working paper › Research

Original language	English
Publication status	Published - 2004

Aceto, L., Fokkink, W., Ingolfsdottir, A., & Nain, S. (2004). Bisimilarity is not Finitely Based over BPA with Interrupt.

Aceto, Luca ; Fokkink, Wan ; Ingolfsdottir, Anna ; Nain, Sumit. / Bisimilarity is not Finitely Based over BPA with Interrupt. 2004.

@techreport{3c5360009c2d11db8ed6000ea68e967b,

title = "Bisimilarity is not Finitely Based over BPA with Interrupt",

author = "Luca Aceto and Wan Fokkink and Anna Ingolfsdottir and Sumit Nain",

year = "2004",

language = "English",

type = "WorkingPaper",

}

2004.

Research output: Working paper › Research

TY - UNPB

T1 - Bisimilarity is not Finitely Based over BPA with Interrupt

AU - Aceto, Luca

AU - Fokkink, Wan

AU - Ingolfsdottir, Anna

AU - Nain, Sumit

PY - 2004

Y1 - 2004

M3 - Working paper

BT - Bisimilarity is not Finitely Based over BPA with Interrupt

ER -