Synchronous programming of reactive systems-Reference-Cited by-同舟云学术

Synchronous programming of reactive systems

Published:1998 Issue: Volume: Page:1-16
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Halbwachs Nicolas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0028726

Reference82 articles.

1. ADA. The Programming Language ADA Reference Manual. LNCS 155, Springer Verlag, 1983.

2. C. André and D. Gaffé. Proving properties of GRAFCET with synchronous tools. In IEEE-SMC'96, Computational Engineering in Systems Applications, Lille, France, July 1996.

3. C. André. Representation and analysis of reactive behaviors: a synchronous approach. In IEEE-SMC'96, Computational Engineering in Systems Applications, Lille, France, July 1996.

4. E. A. Ashcroft and W. W. Wadge. Lucid, the data-flow programming language. Academic Press, 1985.

5. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270–1282, September 1991.

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

1. Code generation for Security and Stability Control System based on extended reactive component;Journal of Systems Architecture;2024-03

2. Programming microcontrollers through high-level abstractions: The OMicroB project;Journal of Computer Languages;2023-11

3. Thorium: A Language for Bounded Verification of Dynamic Reactive Objects;Proceedings of the 10th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2023-10-19

4. On the use of formal methods to model and verify neuronal archetypes;Frontiers of Computer Science;2021-10-30

5. Symmetric distributed applications;Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2021-10-17