Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg. Finite Equational Bases for Fragments of CCS with Restriction and Relabelling. In Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong, editors, Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy. Volume 273 of IFIP, pages 317-332, Springer, 2008. [doi]
Abstract is missing.