Hildebrandt, T. T., & Sassone, V. (1997). Transition Systems with Independence and Multi-Arcs. BRICS Report Series, 4(10). https://doi.org/10.7146/brics.v4i10.18801