Finite equational bases in process algebra: Results and open questions

Luca Aceto; W. Fokkink; Anna Ingolfsdottir; B. Luttik

Finite equational bases in process algebra: Results and open questions

Luca Aceto, W. Fokkink, Anna Ingolfsdottir, B. Luttik

Institut for Datalogi

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

38 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Processes, Terms and Cycles : Steps on the Road to Infinity
Publikationsdato	2005
Sider	338-367
Status	Udgivet - 2005
Begivenhed	Finite equational bases in process algebra: Results and open questions - Varighed: 19 maj 2010 → …

Konference

Konference	Finite equational bases in process algebra: Results and open questions
Periode	19/05/2010 → …

Bibliografisk note

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@inproceedings{84f7fe0018e311dca5a4000ea68e967b,

title = "Finite equational bases in process algebra: Results and open questions",

author = "Luca Aceto and W. Fokkink and Anna Ingolfsdottir and B. Luttik",

note = "Serie: Lecture Notes in Computer Science, 3838, 0302-9743 ; Finite equational bases in process algebra: Results and open questions ; Conference date: 19-05-2010",

year = "2005",

language = "English",

pages = "338--367",

booktitle = "Processes, Terms and Cycles",

}

TY - GEN

T1 - Finite equational bases in process algebra: Results and open questions

AU - Aceto, Luca

AU - Fokkink, W.

AU - Ingolfsdottir, Anna

AU - Luttik, B.

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

PY - 2005

Y1 - 2005

M3 - Article in proceeding

SP - 338

EP - 367

BT - Processes, Terms and Cycles

T2 - Finite equational bases in process algebra: Results and open questions

Y2 - 19 May 2010

ER -