A Coiteration-based Executable Synchronous Semantics. - View it on GitHub