Bisimilarity is not Finitely Based over BPA with Interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Publikation: Working paperForskning

OriginalsprogEngelsk
StatusUdgivet - 2004

Citer dette

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",

}

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

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

2004.

Publikation: Working paperForskning

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 -

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