Skip to main content
SpringerLink
Log in

The ESTEREL synchronous programming language and its mathematical semantics

  • Conference paper
  • First Online:
Book cover Seminar on Concurrency (CONCURRENCY 1984)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 197))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. LTR Manuel Officiel de Référence, Ministère de la Défense, France (1978).

    Google Scholar 

  2. Net Theory and Applications, LNCS 84, Springer-Verlag (1979).

    Google Scholar 

  3. Reference Manual for the ADA Programming Language, CII Honeywell-Bull (1980).

    Google Scholar 

  4. “OCCAM Programming Manual,” INMOS Limited (1983).

    Google Scholar 

  5. E. Astesiano and E. Zucca, “Semantics of CSP via Translation into CCS,” in Proc. MFCS 81, Springer-Verlag, LNCS 116 (1981).

    Google Scholar 

  6. J.G.P. Barnes, RTL/2 Design and Philosophy, Heyden & Sons Ltd. (1976).

    Google Scholar 

  7. G. Berry, J. Camerini, B. Nguyen Phuoc, J.P. Marmorat, and J.P. Rigault, “Quelques Primitives pour la Progammation Temps Réel et leur Sémantique Mathématique,” Proc. Real Time Data Conference, INRIA, (1982).

    Google Scholar 

  8. G. Berry, S. Moisan, and J.P. Rigault, “ESTEREL: Towards a Synchronous and Semantically Sound High Level Language for Real Time Applications,” Proc. IEEE 1983 Real-Time Systems Symposium (1983).

    Google Scholar 

  9. G. Boudol and D. Austry, “Algèbre de Processus et Synchronisation,” Theoretical Computer Science 30, pp.91–131 (1984).

    Google Scholar 

  10. N.G. de Bruijn, “AUTOMATH, a Language for Mathematics,” in Lecture Notes prepared by B. Fawcett,, Les Presses de l'Université de Montreal, Canada, (1973).

    Google Scholar 

  11. J. Camerini, “Sémantique Mathématique de Primitives Temps Réel,” Thèse de Troisième Cycle, Université de Nice (1982).

    Google Scholar 

  12. P. Caspi and N. Halbwachs, “Algebra of Events: a Model for Parallel and Real-Time Systems,” RR 285, IMAG, Grenoble (1982).

    Google Scholar 

  13. J. Chailloux, M. Devin, and J.M. Hullot, “LELISP: a Portable and Efficient LISP System,” 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas (1984).

    Google Scholar 

  14. E.M. Clarke, E.A. Emerson, and A.P. Sistla, “Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach,” Department of Computer Science Report, Carnegie-Mellon University (Septermber 1983).

    Google Scholar 

  15. L. Cosserat, “Sémantique Opérationnelle du Langage Synchrone ESTEREL,” Thèse de Docteur Ingénieur, Ecole des Mines de Paris (1984).

    Google Scholar 

  16. M. Gordon, R. Milner, and C. Wadsworth, “Edinburgh LCF,” Lecture Notes in Computer Science 78, Springer-Verlag (1980).

    Google Scholar 

  17. N. Halbwachs, “Modélisation et Analyse du Comportement des Systèmes Informatiques Temporisés,” Thèse de Doctorat d'Etat, Université de Grenoble (1984).

    Google Scholar 

  18. M.C.B. Hennessy, W. Li, and G.D. Plotkin, “A First Attempt at Translating CSP into CCS,” Research Report, Edinburgh University (1980).

    Google Scholar 

  19. C.A.R. Hoare, “Communicating Sequential Processes,” Comm. ACM 21(8), pp.666–678 (1978).

    Google Scholar 

  20. R. Milner, A Calculus of Communicating Systems, Springer-Verlag, LNCS 92 (1980).

    Google Scholar 

  21. R. Milner, “Calculi for Synchrony and Asynchrony,” Theoretical Computer Science 25(3), pp.267–310 (1983).

    Google Scholar 

  22. J.L. Peterson, “Petri Nets,” Computing Surveys 9(3) (1977).

    Google Scholar 

  23. G.D. Plotkin, “A Powerdomain Construction”, SIAM Journal on Computing 5(3), pp.452–487 (1976).

    Google Scholar 

  24. G.D. Plotkin, “An Operational Semantics for CSP,” Research Report, Edinburgh University (1981).

    Google Scholar 

  25. G.D. Plotkin, “A Structural Approach to Operational Semantics,” Lectures Notes, Aarhus University (1981).

    Google Scholar 

  26. A. Pnueli, “The Temporal semantics of concurrent Programs,” TCS 13, pp.45–60 (1981).

    Google Scholar 

  27. R. de Simone, “Calculabilité et Expressivité dans l'Algèbre des Processus Parallèles MEIJE,” Thèse de Troisième Cycle, Université Paris VII (1984).

    Google Scholar 

  28. G. Winskel, “Events in Computations,” PhD Thesis, Univ. of Edinburgh (1980).

    Google Scholar 

  29. S.J. Young, Real-Time Languages: Design and Development, Ellis Horwood Publishers (1982).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centre de Mathématiques Appliquées, Ecole Nationale Supérieure des Mines de Paris (ENSMP), Sophia-Antipolis, 06565, Valbonne, France

    Gérard Berry & Laurent Cosserat

Authors
  1. Gérard Berry
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurent Cosserat
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Stephen D. Brookes Andrew William Roscoe Glynn Winskel

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag

About this paper

Cite this paper

Berry, G., Cosserat, L. (1985). The ESTEREL synchronous programming language and its mathematical semantics. In: Brookes, S.D., Roscoe, A.W., Winskel, G. (eds) Seminar on Concurrency. CONCURRENCY 1984. Lecture Notes in Computer Science, vol 197. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15670-4_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-15670-4_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15670-3

  • Online ISBN: 978-3-540-39593-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation