Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Aceto, L., T. Chen, W. Fokkink and A. Ingolfsdottir, On the axiomatizability of priority, Technical Report RS–06–1, BRICS (2006), available from http://www.brics.dk/RS/06/1/
2. CCS with Hennessy's merge has no finite equational axiomatization;Aceto;Theor. Comput. Sci.,2005
3. Finite equational bases in process algebra: Results and open questions;Aceto,2005
4. Bisimilarity is not finitely based over BPA with interrupt;Aceto,2005