Comparing Transition Systems with Independence and Asynchronous Transition Systems.

Thomas T. Hildebrandt, Vladimiro Sassone

Browse the full CONCUR paper archive.