Incremental development of an HDLC entity in Esterel

• 31 August 1991
• journal article
• Published by Elsevier in Computer Networks and ISDN Systems
• Vol. 22  (1) , 35-49
• https://doi.org/10.1016/0169-7552(91)90080-v

Abstract

Keywords

• PROTOCOL
• SPECIFICATION
• ESTEREL
• MODULARITY
• COMMUNICATION
• SYNCHRONY
• REACTIVE SYSTEMS
• PROGRAM DEVELOPMENT
• HDLC
• AUTOMATA
• COMPILING TECHNIQUES