Tilbage til artikeldetaljer Transition Systems, Event Structures and Unfoldings Download Download PDF