1. Rule formats for determinism and idempotence;Aceto,2010
2. Turning SOS rules into equations;Aceto;Inf. Comput.,1994
3. A bisimulation-based method for proving the validity of equations in GSOS languages;Aceto,2010
4. On rule formats for zero and unit elements;Aceto,2010
5. Rule formats for distributivity;Aceto,2011