Aceto, L., Fokkink, W. J., & Ingólfsdóttir, A. (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