A finite equational base for CCS with left merge and communication merge

Luca Aceto; Wan Fokkink; Anna Ingolfsdottir; Bas Luttik

A finite equational base for CCS with left merge and communication merge

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

3 Citations (Scopus)

Original language	English
Title of host publication	Automata, Languages and Programming, Pt 2
Publication date	2006
Pages	492-503
Publication status	Published - 2006
Event	A finite equational base for CCS with left merge and communication merge - Duration: 19 May 2010 → …

Conference

Conference	A finite equational base for CCS with left merge and communication merge
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@inproceedings{05992d800e8b11dcb676000ea68e967b,

title = "A finite equational base for CCS with left merge and communication merge",

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

note = "Serie: Lecture Notes in Computer Science, 4052, 0302-9743 ; A finite equational base for CCS with left merge and communication merge ; Conference date: 19-05-2010",

year = "2006",

language = "English",

pages = "492--503",

booktitle = "Automata, Languages and Programming, Pt 2",

}

TY - GEN

T1 - A finite equational base for CCS with left merge and communication merge

AU - Aceto, Luca

AU - Fokkink, Wan

AU - Ingolfsdottir, Anna

AU - Luttik, Bas

N1 - Serie: Lecture Notes in Computer Science, 4052, 0302-9743

PY - 2006

Y1 - 2006

M3 - Article in proceeding

SP - 492

EP - 503

BT - Automata, Languages and Programming, Pt 2

T2 - A finite equational base for CCS with left merge and communication merge

Y2 - 19 May 2010

ER -