Finite Equational Bases in Process Algebra: Results and Open Questions

L. Aceto; W.J. Fokkink; A. Ingólfsdóttir; B. Luttik

Finite Equational Bases in Process Algebra: Results and Open Questions

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, B. Luttik

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	338-367
Journal	Lecture Notes in Computer Science
Volume	3838
Publication status	Published - 2005

Bibliographical note

DBLP:conf/birthday/AcetoFIL05
Proceedings title: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Klop, J.W., on the Occasion of His 60th Birthday
Publisher: Springer
Editors: A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R.C. de Vrijer

Persistent URL (handle)

Copy link address

Cite this

@article{8551eb128fe349328cb0226f8434604f,

title = "Finite Equational Bases in Process Algebra: Results and Open Questions",

author = "L. Aceto and W.J. Fokkink and A. Ing{\'o}lfsd{\'o}ttir and B. Luttik",

note = "DBLP:conf/birthday/AcetoFIL05 Proceedings title: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Klop, J.W., on the Occasion of His 60th Birthday Publisher: Springer Editors: A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R.C. de Vrijer",

year = "2005",

language = "English",

volume = "3838",

pages = "338--367",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Finite Equational Bases in Process Algebra: Results and Open Questions

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

AU - Luttik, B.

N1 - DBLP:conf/birthday/AcetoFIL05 Proceedings title: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Klop, J.W., on the Occasion of His 60th Birthday Publisher: Springer Editors: A. Middeldorp, V. van Oostrom, F. van Raamsdonk, R.C. de Vrijer

PY - 2005

Y1 - 2005

M3 - Article

SN - 0302-9743

VL - 3838

SP - 338

EP - 367

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -