Return to Article Details Transition Systems, Event Structures and Unfoldings Download Download PDF