event-structures Formalisation of some facts about event structures and causal-consistent reversibility on them.