Hildebrandt, T. T.; Sassone, V. Transition Systems With Independence and Multi-Arcs. BRICS 1997, 4.