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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

3 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Automata, Languages and Programming, Pt 2
Publikationsdato	2006
Sider	492-503
Status	Udgivet - 2006
Begivenhed	A finite equational base for CCS with left merge and communication merge - Varighed: 19 maj 2010 → …

Konference

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

Bibliografisk note

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 -