Return to Article Details Comparing Transition Systems with Independence and Asynchronous Transition Systems Download Download PDF