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

by L Aceto, W Fokkink, A Ingolfsdottir, B Luttik
Venue:In Processes, Terms and Cycles: Steps on the Road to Infinity, LNCS 3838