Coordination of synchronous programs

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

Volumn 1594, Issue , 1999, Pages 103-117

  Budde, Reinhard ^a   Michele Pinna, G ^a,b   Poigné, Axel ^a  

^a FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS PARALLEL; DEADLOCK DETECTION; ESTEREL; GLOBAL KNOWLEDGE; REACTIVE SYSTEM; SYNCHRONOUS LANGUAGES; SYNCHRONOUS PROGRAM;

ARTIFICIAL INTELLIGENCE;

EID: 34547465056     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48919-3_9     Document Type: Conference Paper

References (10)

1. G. Berry. Esterel on hardware. Philosophical Transation Royal Society of London, A: 87-104, 1992.
2. G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Another Look at Real Time Programming, Proceedings of IEEE, 79:1270-1282, 1991.
3. G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
4. G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.
5. F. Boussinot and R. de Simone. The SL synchronous language. IEEE Transactions on Software Engineering, 22(4):256-266, 1996.
6. S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560-599, 1984.
7. N. Halbwachs. Synchronous Programming of Reactive Systems. The Kuwler International Series in Engineering and Computer Science. Kuwler Academic Publisher, 1993.
8. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data ow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, 1991.
9. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403-414, April 1990.
10. V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71-80. IEEE Computer Society Press, 1994.