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

View PDF

Download Links

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