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 JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)338-367
JournalLecture Notes in Computer Science
Publication statusPublished - 2005

Bibliographical note

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

Cite this