1. On the axiomatizability of priority III: the return of sequential composition;Aceto,2019
2. On the axiomatizability of priority;Aceto,2006
3. On the axiomatizability of priority II;Aceto;Theor. Comput. Sci.,2011
4. Finite equational bases in process algebra: results and open questions;Aceto,2005
5. Bisimilarity is not finitely based over BPA with interrupt;Aceto;Theor. Comput. Sci.,2006