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

Department of Computer Science

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

38 Citations (Scopus)

Original language	English
Title of host publication	Processes, Terms and Cycles : Steps on the Road to Infinity
Publication date	2005
Pages	338-367
Publication status	Published - 2005
Event	Finite equational bases in process algebra: Results and open questions - Duration: 19 May 2010 → …

Conference

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

AUB Link

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

Cite this

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