What can we learn from synchronous data-flow languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1201, Issue , 1997, Pages 255-258

  Caspi, Paul ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER CONTROL SYSTEMS; DATA TRANSFER; FORMAL METHODS; INTERACTIVE COMPUTER SYSTEMS;

COMPUTER BASED CONTROL; CRITICAL CONTROL SYSTEMS; CRITICAL SYSTEMS; CULTURAL BACKGROUNDS; DISTRIBUTED PROGRAMMING; SYNCHRONOUS DATA-FLOW LANGUAGES;

REAL TIME SYSTEMS;

EID: 84947294204     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014730     Document Type: Conference Paper

References (12)

1. J.-R. Abrial. The B-Book. Cambridge University Press, 1995.
2. E. A. Ashcroft and W. W. Wadge. Lucid, the data-flow programming language. Academic Press, 1985.
3. A. Benveniste and P. LeGuernic. Hybrid dynamical systems theory and the signal language. IEEE Transactions on Automatic Control, 35(5):535-546, 1990.
4. G. Berry and G. Gonthier. The ESTEREL synchronous programming language, design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
5. D. Brière, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December 1994. ERA Technology.
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Piland. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
7. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, volume 13 of NATO ASI Series, pages 477-498. Springer Verlag, 1985.
8. G. Kahn. The semantics of a simple language for parallel programming. In IFIP 74 Congress. North Holland, Amsterdam, 1974.
9. L. Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, 1994.
10. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267-310, 1983.
11. S. Owre, J. Rushby, and N. Shankar. PVS: a prototype verification system. In 11th Conf. on Automated Deduction, volume 607 of Lecture Notes in Computer Science, pages 748-752. Springer Verlag, 1992.
12. A. Pnueli. The temporal logic of programs. In 18th Syrup. on the Foundations of Computer Science. IEEE, 1977.