1. Turning SOS rules into equations;Aceto;Information and Computation,1994
2. A complete equational axiomatization for MPA with string iteration;Aceto;Theoretical Computer Science,1999
3. Termination, deadlock and divergence;Aceto;Journal of the ACM,1992
4. J.C.M. Baeten. Process algebra with explicit termination. Technical Report CSR 00/02, Eindhoven University of Technology, Computing Science Department, 2000. See publications.
5. On sequential composition, action prefixes and process prefix;Baeten;Formal Aspects of Computing,1994