The Esterel synchronous programming language: design, semantics, implementation-Reference-Cited by-同舟云学术

The Esterel synchronous programming language: design, semantics, implementation

Published:1992-11 Issue:2 Volume:19 Page:87-152
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Berry Gérard,Gonthier Georges

Publisher

Elsevier BV

Subject

Software

Reference43 articles.

1. The Programming Language ADA Reference Manual,1983

2. Construction et analyse des systèmes de transitions: le système MEC;Arnold;Actes du Colloque C3 d'Angoulème,1985

3. The Lambda-Calculus: Its Syntax and Semantics;Barendregt,1981

4. ESTEREL: towards a synchronous and semantically sound high-level language for real-time applications;Berry;Proceedings IEEE Real-Time Systems Symposium,1983

5. The synchronous programming language ESTEREL and its mathematical semantics;Berry,1984

Cited by 817 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. FARM: Comprehensive Data Center Network Monitoring and Management;2024 IEEE 44th International Conference on Distributed Computing Systems (ICDCS);2024-07-23

2. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

3. Specification and Verification of Multi-Clock Systems Using a Temporal Logic with Clock Constraints;Formal Aspects of Computing;2024-06-26

4. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20

5. Codesign of reactor-oriented hardware and software for cyber-physical systems;ACM Transactions on Reconfigurable Technology and Systems;2024-06-12