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

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

3 Citations (Scopus)

133 Downloads (Pure)

Original language	English
Number of pages	12
Journal	Logical Methods in Computer Science
Volume	1
Issue number	1:3
DOIs	https://doi.org/10.2168/LMCS-1(1:3)2005
Publication status	Published - 2005

Access to 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 -