{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:32:00Z","timestamp":1777890720294,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540156703","type":"print"},{"value":"9783540395935","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15670-4_19","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:23:31Z","timestamp":1330194211000},"page":"389-448","source":"Crossref","is-referenced-by-count":106,"title":["The ESTEREL synchronous programming language and its mathematical semantics"],"prefix":"10.1007","author":[{"given":"G\u00e9rard","family":"Berry","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Cosserat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"19_CR1","unstructured":"LTR Manuel Officiel de R\u00e9f\u00e9rence, Minist\u00e8re de la D\u00e9fense, France (1978)."},{"key":"19_CR2","unstructured":"Net Theory and Applications, LNCS 84, Springer-Verlag (1979)."},{"key":"19_CR3","unstructured":"Reference Manual for the ADA Programming Language, CII Honeywell-Bull (1980)."},{"key":"19_CR4","unstructured":"\u201cOCCAM Programming Manual,\u201d INMOS Limited (1983)."},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"E. Astesiano and E. Zucca, \u201cSemantics of CSP via Translation into CCS,\u201d in Proc. MFCS 81, Springer-Verlag, LNCS 116 (1981).","DOI":"10.1007\/3-540-10856-4_83"},{"key":"19_CR6","unstructured":"J.G.P. Barnes, RTL\/2 Design and Philosophy, Heyden & Sons Ltd. (1976)."},{"key":"19_CR7","unstructured":"G. Berry, J. Camerini, B. Nguyen Phuoc, J.P. Marmorat, and J.P. Rigault, \u201cQuelques Primitives pour la Progammation Temps R\u00e9el et leur S\u00e9mantique Math\u00e9matique,\u201d Proc. Real Time Data Conference, INRIA, (1982)."},{"key":"19_CR8","unstructured":"G. Berry, S. Moisan, and J.P. Rigault, \u201cESTEREL: Towards a Synchronous and Semantically Sound High Level Language for Real Time Applications,\u201d Proc. IEEE 1983 Real-Time Systems Symposium (1983)."},{"key":"19_CR9","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0304-3975(84)90067-7","volume":"30","author":"G. Boudol","year":"1984","unstructured":"G. Boudol and D. Austry, \u201cAlg\u00e8bre de Processus et Synchronisation,\u201d Theoretical Computer Science 30, pp.91\u2013131 (1984).","journal-title":"Theoretical Computer Science"},{"key":"19_CR10","unstructured":"N.G. de Bruijn, \u201cAUTOMATH, a Language for Mathematics,\u201d in Lecture Notes prepared by B. Fawcett,, Les Presses de l'Universit\u00e9 de Montreal, Canada, (1973)."},{"key":"19_CR11","unstructured":"J. Camerini, \u201cS\u00e9mantique Math\u00e9matique de Primitives Temps R\u00e9el,\u201d Th\u00e8se de Troisi\u00e8me Cycle, Universit\u00e9 de Nice (1982)."},{"key":"19_CR12","volume-title":"\u201cAlgebra of Events: a Model for Parallel and Real-Time Systems,\u201d RR 285","author":"P. Caspi","year":"1982","unstructured":"P. Caspi and N. Halbwachs, \u201cAlgebra of Events: a Model for Parallel and Real-Time Systems,\u201d RR 285, IMAG, Grenoble (1982)."},{"key":"19_CR13","unstructured":"J. Chailloux, M. Devin, and J.M. Hullot, \u201cLELISP: a Portable and Efficient LISP System,\u201d 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas (1984)."},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"E.M. Clarke, E.A. Emerson, and A.P. Sistla, \u201cAutomatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach,\u201d Department of Computer Science Report, Carnegie-Mellon University (Septermber 1983).","DOI":"10.1145\/567067.567080"},{"key":"19_CR15","unstructured":"L. Cosserat, \u201cS\u00e9mantique Op\u00e9rationnelle du Langage Synchrone ESTEREL,\u201d Th\u00e8se de Docteur Ing\u00e9nieur, Ecole des Mines de Paris (1984)."},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"M. Gordon, R. Milner, and C. Wadsworth, \u201cEdinburgh LCF,\u201d Lecture Notes in Computer Science 78, Springer-Verlag (1980).","DOI":"10.1007\/3-540-09724-4"},{"key":"19_CR17","unstructured":"N. Halbwachs, \u201cMod\u00e9lisation et Analyse du Comportement des Syst\u00e8mes Informatiques Temporis\u00e9s,\u201d Th\u00e8se de Doctorat d'Etat, Universit\u00e9 de Grenoble (1984)."},{"key":"19_CR18","unstructured":"M.C.B. Hennessy, W. Li, and G.D. Plotkin, \u201cA First Attempt at Translating CSP into CCS,\u201d Research Report, Edinburgh University (1980)."},{"issue":"8","key":"19_CR19","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. R. Hoare","year":"1978","unstructured":"C.A.R. Hoare, \u201cCommunicating Sequential Processes,\u201d Comm. ACM 21(8), pp.666\u2013678 (1978).","journal-title":"Comm. ACM"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"R. Milner, A Calculus of Communicating Systems, Springer-Verlag, LNCS 92 (1980).","DOI":"10.1007\/3-540-10235-3"},{"issue":"3","key":"19_CR21","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner, \u201cCalculi for Synchrony and Asynchrony,\u201d Theoretical Computer Science 25(3), pp.267\u2013310 (1983).","journal-title":"Theoretical Computer Science"},{"key":"19_CR22","doi-asserted-by":"crossref","unstructured":"J.L. Peterson, \u201cPetri Nets,\u201d Computing Surveys 9(3) (1977).","DOI":"10.1145\/356698.356702"},{"issue":"3","key":"19_CR23","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1137\/0205035","volume":"5","author":"G. D. Plotkin","year":"1976","unstructured":"G.D. Plotkin, \u201cA Powerdomain Construction\u201d, SIAM Journal on Computing 5(3), pp.452\u2013487 (1976).","journal-title":"SIAM Journal on Computing"},{"key":"19_CR24","unstructured":"G.D. Plotkin, \u201cAn Operational Semantics for CSP,\u201d Research Report, Edinburgh University (1981)."},{"key":"19_CR25","unstructured":"G.D. Plotkin, \u201cA Structural Approach to Operational Semantics,\u201d Lectures Notes, Aarhus University (1981)."},{"key":"19_CR26","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"A. Pnueli, \u201cThe Temporal semantics of concurrent Programs,\u201d TCS 13, pp.45\u201360 (1981).","journal-title":"TCS"},{"key":"19_CR27","unstructured":"R. de Simone, \u201cCalculabilit\u00e9 et Expressivit\u00e9 dans l'Alg\u00e8bre des Processus Parall\u00e8les MEIJE,\u201d Th\u00e8se de Troisi\u00e8me Cycle, Universit\u00e9 Paris VII (1984)."},{"key":"19_CR28","unstructured":"G. Winskel, \u201cEvents in Computations,\u201d PhD Thesis, Univ. of Edinburgh (1980)."},{"key":"19_CR29","unstructured":"S.J. Young, Real-Time Languages: Design and Development, Ellis Horwood Publishers (1982)."}],"container-title":["Lecture Notes in Computer Science","Seminar on Concurrency"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15670-4_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:42Z","timestamp":1605643722000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15670-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540156703","9783540395935"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-15670-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}