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

Cached

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:29 - 19 self