Hildebrandt, T. T., & Sassone, V. (1996). Comparing Transition Systems with Independence and Asynchronous Transition Systems. BRICS Report Series, 3(18). https://doi.org/10.7146/brics.v3i18.19980