Aceto, Luca, Willem Jan Fokkink, and Anna Ingólfsdóttir. 1996. “A Menagerie of Non-Finitely Based Process Semantics over BPA*: From Ready Simulation Semantics to Completed Traces”. BRICS Report Series 3 (23). https://doi.org/10.7146/brics.v3i23.20003.