Formalisation of Event Structures

Links: