Compositionality in dataflow synchronous languages: specification & code generation-Reference-Cited by-同舟云学术

Compositionality in dataflow synchronous languages: specification & code generation

Published:1998 Issue: Volume: Page:61-80
ISSN:0302-9743
Container-title:Compositionality: The Significant Difference
language:
Short-container-title:

Author:

Benveniste Albert,Le Guernic Paul,Aubry Pascal

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49213-5_3

Reference19 articles.

1. A. Benveniste and P. Le Guernic and P. Aubry, “Compositionality in dataflow synchronous languages: specification & code generation”, extended version of this paper, IRISA Research Report 1150, November 1997. http://www.irisa.fr/EXTERNE/bibli/pi/1150/1150.html

2. I.J. Aabelsberg, and G. Rozenberg, Theory of traces, Theoretical Computer Science, 60, 1–82, 1988.

3. P. Aubry, “Mises en œuvre distribuées de programmes synchrones”, PhD Thesis, Univ. Rennes I, 1997.

4. 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.

5. A. Benveniste, P. Le Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL languages and its semantics. Sci. Comp. Prog., 16:103–149, 1991.

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

1. Modular Code Generation from Synchronous Block Diagrams: Interfaces, Abstraction, Compositionality;Lecture Notes in Computer Science;2018

2. Handling partial failures in distributed reactive programming;Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2017-10-23

3. Synchronous Structures;CONCUR’99 Concurrency Theory;1999

4. From Synchrony to Asynchrony;CONCUR’99 Concurrency Theory;1999

5. Fair synchronous transition systems and their liveness proofs;Lecture Notes in Computer Science;1998