Bisimilarity is not finitely based over BPA with interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Research output: Contribution to journal › Journal article › Research › peer-review

11 Citations (Scopus)

Abstract

Udgivelsesdato: NOV 16

Original language	English
Journal	Theoretical Computer Science
Volume	366
Issue number	1-2
Pages (from-to)	60-81
ISSN	0304-3975
Publication status	Published - 2006

@article{640daa001f6411dca5a4000ea68e967b,

title = "Bisimilarity is not finitely based over BPA with interrupt",

abstract = "Udgivelsesdato: NOV 16",

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

year = "2006",

language = "English",

volume = "366",

pages = "60--81",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "1-2",

}

TY - JOUR

T1 - Bisimilarity is not finitely based over BPA with interrupt

AU - Aceto, Luca

AU - Fokkink, Wan

AU - Ingolfsdottir, Anna

AU - Nain, Sumit

PY - 2006

Y1 - 2006

N2 - Udgivelsesdato: NOV 16

AB - Udgivelsesdato: NOV 16

M3 - Journal article

SN - 0304-3975

VL - 366

SP - 60

EP - 81

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 1-2

ER -