Author:
Benveniste Albert,Caspi Paul,Guernic Paul,Halbwachs Nicolas
Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. E. A. Ashcroft and W. W. Wadge, Lucid, the data-flow programming language, Academic Press, 1985
2. A. Benveniste, G. Berry, Eds., Another look at real-time programming, special section of Proc. of the IEEE, vol. 9 n∘ 9, September 1991, 1268–1336.
3. A. Benveniste, G. Berry, “Real-Time systems design and programming”, Another look at real-time programming, special section of Proc. of the IEEE, vol. 9 n∘ 9, September 1991, 1270–1282.
4. A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine, “A denotational theory of synchronous communicating systems”, Information and Computation, vol. 99 n∘ 2, August 1992, 192–230.
5. A. Benveniste, P. Le Guernic, “Hybrid Dynamical Systems Theory and the Signal Language”, IEEE transactions on Automatic Control, 35(5), May 1990, pp. 535–546.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and verification of concurrent systems by causality and realizability;Theoretical Computer Science;2023-09
2. Different Glasses to Look into the Three Cs: Component, Connector, Coordination;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
3. What Good are Models?;Formal Aspects of Component Software;2018
4. Require, test, and trace IT;International Journal on Software Tools for Technology Transfer;2016-11-29
5. Proper Protocol;Theory and Practice of Formal Methods;2016