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:18 - 14 self

Document Versions

Finite equational bases in process algebra: Results and open questions –Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik — 2005 — Processes, Terms and Cycles: Steps on the Road to Infinity, LNCS 3838
Finite equational bases in process algebra: Results and Open Questions –Luca Aceto, Willem Jan Fokkink, Anna Ingólfsdóttir, Bas Luttik — 2005