Title
Incremental development of an HDLC entity in Esterel
Abstract
Esterel is a new parallel programming language based on a model of perfectly synchronous parallelism and communication. Because this model is naturally deterministic, it provides an excellent framework for the modular decomposition of programs that engage in complex patterns of deterministic interaction, such as protocol entities. Furthermore, because the Esterel compiler performs all the scheduling and synchronization at compile-time, modular with lots of subprocesses and internal communication can be just as efficient as monolithic sequential state machines.
Year
DOI
Venue
1991
10.1016/0169-7552(91)90080-V
Computer Networks and ISDN Systems
Keywords
Field
DocType
incremental development,hdlc entity
Modular decomposition,Programming language,Iterative and incremental development,Computer science,Programming style,Compiler,Finite-state machine,Parallel programming model,Esterel,Modular design
Journal
Volume
Issue
ISSN
22
1
0169-7552
Citations 
PageRank 
References 
7
1.23
0
Authors
2
Name
Order
Citations
PageRank
Gérard Berry11402153.04
Georges Gonthier22275195.06