Synchron 2021

Extracting Mode Diagrams from Blech Code

A prototypical implementation for extracting and visualizing mode diagrams expressed in the synchronous control-flow of Blech activities has been presented at Synchron 2021 the 27th International Open Workshop on Sychronous Programming held in La Rochette 45km south east of the centre of Paris, France.

On Wednesday, 2021-11-24 , Reinhard von Hanxlden talked about Extracting Mode Diagrams from Blech Code .

The prototypical implementation has been done by Daniel Lucas in his master thesis . A research paper on this topic has been publish at the 2021 Forum on Specification, Verification and Design Languages