The following publications are possibly variants of this publication:
- Axiomatizing Weak Ready Simulation Semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. ictac 2011: 7-24 [doi]
- Trace Simulation Semantics is not Finitely Based over BCCSPLuca Aceto, David de Frutos-Escrig, Anna Ingólfsdóttir. actaC, 23(1):81-90, 2017. [doi]
- A Menagerie of NonFfinitely Based Process Semantics over BPA* - From Ready Simulation to Completed TracesLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. mscs, 8(3):193-230, 1998.
- The Equational Theory of Weak Complete Simulation Semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. sofsem 2012: 141-152 [doi]
- Axiomatizing weak simulation semantics over BCCSPLuca Aceto, David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Anna Ingólfsdóttir. TCS, 537:42-71, 2014. [doi]
- On a Question of A. Salomaa: The Equational Theory of Regular Expressions Over a Singleton Alphabet is not Finitely BasedLuca Aceto, Wan Fokkink, Anna Ingólfsdóttir. TCS, 209(1-2):163-178, 1998. [doi]