Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

3 Citaten (Scopus)

118 Downloads (Pure)

Originele taal-2	Engels
Aantal pagina's	12
Tijdschrift	Logical Methods in Computer Science
Volume	1
Nummer van het tijdschrift	1:3
DOI's	https://doi.org/10.2168/LMCS-1(1:3)2005
Status	Gepubliceerd - 2005

Toegang tot document

@article{9c03189366d14fe287d12c41a3c47370,

title = "Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge",

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

year = "2005",

doi = "10.2168/LMCS-1(1:3)2005",

language = "English",

volume = "1",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Technischen Universitat Braunschweig",

number = "1:3",

}

TY - JOUR

T1 - Split-2 bisimilarity has a finite axiomatization over CCS with Hennessy's merge

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

AU - Luttik, B.

PY - 2005

Y1 - 2005

U2 - 10.2168/LMCS-1(1:3)2005

DO - 10.2168/LMCS-1(1:3)2005

M3 - Article

SN - 1860-5974

VL - 1

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 1:3

ER -