CCS with Hennessy's Merge has no Finite Equational Axiomatization

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir, B. Luttik

Publikation: Working paperForskning

OriginalsprogEngelsk
Sider37
StatusUdgivet - 2003

Citer dette

Aceto, L., Fokkink, W. J., Ingolfsdottir, A., & Luttik, B. (2003). CCS with Hennessy's Merge has no Finite Equational Axiomatization. (s. 37).
Aceto, Luca ; Fokkink, W. J. ; Ingolfsdottir, Anna ; Luttik, B. / CCS with Hennessy's Merge has no Finite Equational Axiomatization. 2003. s. 37
@techreport{3c468ec09c2d11db8ed6000ea68e967b,
title = "CCS with Hennessy's Merge has no Finite Equational Axiomatization",
author = "Luca Aceto and Fokkink, {W. J.} and Anna Ingolfsdottir and B. Luttik",
year = "2003",
language = "English",
pages = "37",
type = "WorkingPaper",

}

Aceto, L, Fokkink, WJ, Ingolfsdottir, A & Luttik, B 2003 'CCS with Hennessy's Merge has no Finite Equational Axiomatization' s. 37.

CCS with Hennessy's Merge has no Finite Equational Axiomatization. / Aceto, Luca; Fokkink, W. J.; Ingolfsdottir, Anna; Luttik, B.

2003. s. 37.

Publikation: Working paperForskning

TY - UNPB

T1 - CCS with Hennessy's Merge has no Finite Equational Axiomatization

AU - Aceto, Luca

AU - Fokkink, W. J.

AU - Ingolfsdottir, Anna

AU - Luttik, B.

PY - 2003

Y1 - 2003

M3 - Working paper

SP - 37

BT - CCS with Hennessy's Merge has no Finite Equational Axiomatization

ER -

Aceto L, Fokkink WJ, Ingolfsdottir A, Luttik B. CCS with Hennessy's Merge has no Finite Equational Axiomatization. 2003, s. 37.