{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215620},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664253"},{"type":"electronic","value":"9783540483205"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48320-9_13","type":"book-chapter","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T13:52:42Z","timestamp":1195134762000},"page":"162-177","source":"Crossref","is-referenced-by-count":35,"title":["From Synchrony to Asynchrony"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"R. Alur and T. A. Henzinger. Reactive modules. In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, LICS\u201996, pages 207\u2013218, 1996. extended version submitted for publication.","key":"13_CR1","DOI":"10.1109\/LICS.1996.561320"},{"unstructured":"T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Arborescent canonical form of boolean expressions. Technical Report 2290, Inria Research Report, June 1994.","key":"13_CR2"},{"doi-asserted-by":"crossref","unstructured":"T. P. Amagbegnon, L. Besnard, and P. Le Guernic. Implementation of the dataflow language signal. In Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation, PLDI\u201995, pages 163\u2013173, 1995.","key":"13_CR3","DOI":"10.1145\/223428.207134"},{"unstructured":"P. Aubry. Mises en \u00e6uvre distribu\u00e9es de programmes synchrones. PhD thesis, University\u00e9 de Rennes 1, 1997.","key":"13_CR4"},{"doi-asserted-by":"crossref","unstructured":"A. Benveniste and G. Berry, editors. Proceedings of the IEEE, volume 79, chapter The special section on another look at real-time programming, pages 1268\u20131336. IEEE, September 1991.","key":"13_CR5","DOI":"10.1109\/5.97297"},{"issue":"9","key":"13_CR6","first-page":"1270","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. Real-time systems design and programming. Another look at real-time programming, special section of Proc. of the IEEE, 79(9):1270\u20131282, September 1991.","journal-title":"Another look at real-time programming, special section of Proc. of the IEEE"},{"issue":"5","key":"13_CR7","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste and P. Le Guernic. Hybrid dynamical systems theory and the signal language. IEEE Transactions on Autom. Control, 35(5):535\u2013546, May 1990.","journal-title":"IEEE Transactions on Autom. Control"},{"doi-asserted-by":"crossref","unstructured":"A. Benveniste, P. Le Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification & code generation. research Report RR-3310, INRIA, November 1997. http:\/\/www.inria.fr\/RRRT\/publications-eng.html , see also a revised version co-authored with B. Caillaud, March 1998.","key":"13_CR8","DOI":"10.1007\/3-540-49213-5_3"},{"unstructured":"G. Berry. Real time programming: Special purpose or general purpose languages. In Proceedings of the IFIP World Computer Congress, San Francisco, 1989.","key":"13_CR9"},{"unstructured":"G. Berry. The constructive semantics of esterel. Draft book, http:\/\/www.inria.fr\/meije\/esterel , December 1995.","key":"13_CR10"},{"unstructured":"G. Berry and E. M. Sentovich. An implementation of construtive synchronous programs in polis. manuscript, November 1998.","key":"13_CR11"},{"issue":"3","key":"13_CR12","first-page":"503","volume":"31","author":"B. Caillaud","year":"1997","unstructured":"B. Caillaud, P. Caspi, A. Girault, and C. Jard. Distributing automata for asynchronous networks of processors. European Journal on Automated Systems, 31(3):503\u2013524, 1997.","journal-title":"European Journal on Automated Systems"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(92)90326-B","volume":"94","author":"P. Caspi","year":"1992","unstructured":"P. Caspi. Clocks in dataflow languages. Theoretical Computer Science, 94:125\u2013140, 1992.","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.","key":"13_CR14","DOI":"10.1007\/978-1-4757-2231-4"},{"issue":"9","key":"13_CR15","doi-asserted-by":"publisher","first-page":"785","DOI":"10.1109\/32.159839","volume":"18","author":"N. Halbwachs","year":"1992","unstructured":"N. Halbwachs, F. Lagnier, and Ratel C. Programming and verifying real-time systems by means of the synchronous dataflow language lustre. IEEE Trans. on Software Engineering, 18(9):785\u2013793, September 1992.","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"13_CR16","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. Specifying concurrent program modules. ACM Transactions on Programming Languages and Systems, 5(2):190\u2013222, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"L. Lamport. What good is temporal logic? In R. E. A. Mason, editor, Proc. IFIP 9th World Congress, pages 657\u2013668. North Holland, 1983.","key":"13_CR17"},{"issue":"9","key":"13_CR18","first-page":"1321","volume":"79","author":"P. Guernic Le","year":"1991","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, and Le Maire C. Programming realtime applications with SIGNAL. Another look at real-time programming, special section of Proc. of the IEEE, 79(9):1321\u20131336, September 1991.","journal-title":"Another look at real-time programming, special section of Proc. of the IEEE"},{"key":"13_CR19","series-title":"Lect Notes Comput Sci","first-page":"149","volume-title":"3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"O. Maffeis","year":"1994","unstructured":"O. Maffeis and P. Le Guernic. Distributed implementation of Signal: scheduling and graph clustering. In 3rd International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 863 of Lecture Notes in Computer Science, pages 149\u2013169. Springer Verlag, September 1994."},{"key":"13_CR20","series-title":"Lect Notes Comput Sci","volume-title":"6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT\u2019 95","author":"EP-ATR Project","year":"1995","unstructured":"EP-ATR Project. Signal: a formal design environment for real time systems. In 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT\u2019 95, volume 915 of Lecture Notes in Computer Science, Aarhus, Denmark, 1995. Springer-Verlag."},{"doi-asserted-by":"crossref","unstructured":"Y. Sorel. Sorel: Real-time embedded image processing applications using the a3 methodology. In Proc. IEEE International Conf. on Image Processing, Lausanne, September 1996.","key":"13_CR21","DOI":"10.1109\/ICIP.1996.560623"},{"unstructured":"Y. Sorel and C. Lavarenne. Syndex v4.2 user guide. http:\/\/www-rocq.inria.fr\/syndex\/.articles\/doc\/doc\/SynDEx42.html .","key":"13_CR22"}],"container-title":["Lecture Notes in Computer Science","CONCUR\u201999 Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48320-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T13:06:34Z","timestamp":1556975194000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48320-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664253","9783540483205"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48320-9_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}