Incremental development of an HDLC protocol in Esterel

synchro- of model a on based language programming parallel new a is Esterel syn- and handling process parallelism, the All communication. and parallelism nous sequential efficient produces which compiler, Esterel the by performed are chronization into task a Separating run-time. at required handling data the only containing code synchronization better for signals adding modularity, better for components parallel away. compiled are they as overhead, run-time no incur made is that style programming new the on tutorial advanced an is paper This for driver, protocol HDLC an is example working Our features. these by possible simple, a from start We steps. gradual in program modular a develop will we which initial the of most retaining while detail and complexity add then and case, restricted on first is emphasis The code. design cap- that architecture program a develop we as to shifts the and driver, the of structure basic the tures maintenance new add we as architecture. initial the into f...