Hildebrandt, T. T.; Sassone, V. Comparing Transition Systems With Independence and Asynchronous Transition Systems. BRICS 1996, 3.