Operational and compositional semantics of synchronous automaton compositions

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

Volumn 630 LNCS, Issue , 1992, Pages 550-564

  Maraninchi, Florence ^a  

^a UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

ALGEBRAIC FRAMEWORK; BROADCAST MECHANISMS; COMPOSITIONAL SEMANTICS; HIERARCHIC STRUCTURES; INTERESTING POINTS; OPERATIONAL SEMANTICS; PARALLEL COMPOSITION; REAL PROGRAMMING LANGUAGES;

SEMANTICS;

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

References (18)

1. G. Berry and G. Gonthier. The ESTEREs Synchronous Programming Language: Design, Semantics, Implementation. Technical Report, 842, INRIA, 1988.
2. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, january 1987.
3. J.C. Fernandez. An implementation of an efficient algorithm for bisimulation equivalence. Science of Computer Programming, 13(2-3), may 1990.
4. P. Le Guernic, A. Benveniste, P. Bournai, and T. Gauthier. Signal: A Data Flow Oriented Language for Signal Processing. Technical Report, IRISA report 246, IRISA, Rennes, France, 1985.
5. G. Gherardi. Sahara: un environnement de raise an point graphique pour les programmes Esterel (in preparation). Thesis, Université de Nice, 1992.
6. D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8:231-275, 1987.
7. C. Huizing, R. Gerth, and W.P. de Roever. Modelling statecharts behaviour in a fully abstract way. In 13 th CAAP, LNCS 299, Springer Verlag, April 22-24 1988.
8. D. Harel and A. Pnueli. On the development of reactive systems. In Logic and Models of Concurrent Systems, NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO ASI series F, Springer Verlag, 1985.
9. C. Huizing. Semantics of reactive systems: comparison and full abstraction. thesis, Eindhoven University, 1991.
10. N. A. Lynch and M. R. Tuttle. An Introduction to Input/Output Automata. CWI-Quaterly 3, 1989.
11. F. Maraninchi. Argonante, graphical description, semantics and verification of reactive systems by using a process algebra. In Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, Springer Verlag, june 1989.
12. F. Maraninchi. Argos: a Graphical Synchronous Language for the Description of Reactive Systems. Spectre Report C29, LGI-IMAG, Grenoble, march 1991.
13. F. Maraninehi. The argos language: graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages, october 1991.
14. R. Miluer. A calculus of communication systems. In LNCS 92, Springer Verlag, 1980.
15. X. Nicollin, J.L. Richier, J. Sifakis, and J. Voiron. ATP: an algebra for timed processes. In IFIP Working Conference on Programming Concepts and Methods, april 1990.
16. D. Park. Concurrency and automata on infinite sequences. In 5th GI-Conferenee on Theoretical Computer Science, Springer Verlag, 1981. LNCS 104.
17. A. Pnueli and M. Shalev. What is in a Step. Technical Report, Dept. of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Israel, may 1988.
18. Another look at real-time programming. IEEE proceedings, 1991.