Esterel Semantics Chain in Coq

A formalization of the semantics of a reduced kernel of Esterel v.5, containing the following primitive statements: nothing, pause, emit, await immediate, sequence, parallel, if-then-else, exit, trap, shift, and suspend.
This formalization is meant as an illustation of the microstep semantics and is the accompanying artifact to the paper Towards a Coq-verified Chain of Esterel Semantics, LITES, Volume 10, Issue 1 (2025).