Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

Originalsprog	Engelsk
Tidsskrift	Logical Methods in Computer Science
Vol/bind	1
Udgave nummer	1
Sider (fra-til)	1-12
ISSN	1860-5974
Status	Udgivet - 2005

Adgang til dokumentet

@article{6086c5c0923811daa894000ea68e967b,

title = "Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge",

keywords = "Bisimilarity, Split semantics, Equational axiomatizations, CCS",

author = "Luca Aceto and Wan Fokkink and Anna Ingolfsdottir and Bas Luttik",

year = "2005",

language = "English",

volume = "1",

pages = "1--12",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "International Federation for Computational Logic",

number = "1",

}

TY - JOUR

T1 - Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

AU - Aceto, Luca

AU - Fokkink, Wan

AU - Ingolfsdottir, Anna

AU - Luttik, Bas

PY - 2005

Y1 - 2005

KW - Bisimilarity

KW - Split semantics

KW - Equational axiomatizations

KW - CCS

M3 - Journal article

SN - 1860-5974

VL - 1

SP - 1

EP - 12

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 1

ER -