1. L. Aceto, T. Chen, W. Fokkink, A. Ingólfsdóttir, On the axiomatizability of priority, in: ICALP’06, LNCS, vol. 4052, Springer, 2006, pp. 480–491.
2. CCS with Hennessy’s merge has no finite equational axiomatisation;Aceto;Theoretical Computer Science,2005
3. L. Aceto, A. Ingólfsdóttir, M.R. Mousavi, Impossibility results for the equational theory of timed CCS, in: CALCO 2007, LNCS, vol. 4624, Springer, 2007, pp. 80–95.
4. A complete axiomatization of timed bisimulation for a class of timed regular behaviours;Aceto;Theoretical Computer Science,1995
5. Axiomatizing prefix iteration with silent steps;Aceto;Information and Computation,1996