Finite equational bases in process algebra: Results and open questions (2005)

by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik
Venue:Processes, Terms and Cycles: Steps on the Road to Infinity, LNCS 3838