CCS with Hennessy's merge has no finite-equational axiomatization

Research output: Contribution to journal › Article › Academic › peer-review

22 Citations (Scopus)

Original language	English
Pages (from-to)	377-405
Journal	Theoretical Computer Science
Volume	330
Issue number	3
DOIs	https://doi.org/10.1016/j.tcs.2004.10.003
Publication status	Published - 2005

Access to Document

@article{bed83f7802e244aebb5325a5fd552d5e,

title = "CCS with Hennessy's merge has no finite-equational axiomatization",

author = "L. Aceto and W.J. Fokkink and A. Ing{\'o}lfsd{\'o}ttir and B. Luttik",

year = "2005",

doi = "10.1016/j.tcs.2004.10.003",

language = "English",

volume = "330",

pages = "377--405",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

number = "3",

}

TY - JOUR

T1 - CCS with Hennessy's merge has no finite-equational axiomatization

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

AU - Luttik, B.

PY - 2005

Y1 - 2005

U2 - 10.1016/j.tcs.2004.10.003

DO - 10.1016/j.tcs.2004.10.003

M3 - Article

SN - 0304-3975

VL - 330

SP - 377

EP - 405

JO - Theoretical Computer Science

JF - Theoretical Computer Science

IS - 3

ER -