{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:37:55Z","timestamp":1742387875183,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540443070"},{"type":"electronic","value":"9783540458289"}],"license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45828-x_20","type":"book-chapter","created":{"date-parts":[[2007,9,21]],"date-time":"2007-09-21T13:59:11Z","timestamp":1190383151000},"page":"266-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Automatic Production of Globally Asynchronous Locally Synchronous Systems"],"prefix":"10.1007","author":[{"given":"Alain","family":"Girault","sequence":"first","affiliation":[]},{"given":"Cl\u00e9ment","family":"M\u00e9nier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,10,24]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara. Hardware-Software Co-Design of Embedded Systems: The Polis Approach. Kluwer Academic, June 1997.","DOI":"10.1007\/978-1-4615-6127-9"},{"key":"20_CR2","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1098\/rsta.1992.0027","volume":"339","author":"G. Berry","year":"1992","unstructured":"G. Berry. Esterel on hardware. Philosophical Transaction Royal Society of London 339:87\u2013104, 1992.","journal-title":"Philosophical Transaction Royal Society of London"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry. The foundations of Esterel. In G. Plotkin, C. Stirling, and M. Tofte, editors, Proof, Language, and Interaction: Essays in Honour of Robin Milner, pages 425\u2013454. MIT Press, 2000.","DOI":"10.7551\/mitpress\/5641.003.0021"},{"issue":"2","key":"20_CR4","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1008796718837","volume":"17","author":"G. Berry","year":"2000","unstructured":"G. Berry and E. Sentovich. An implementation of constructive synchronous constructive programs in Polis. Formal Methods in Systems Design, 17(2):165\u2013191, October 2000.","journal-title":"Formal Methods in Systems Design"},{"issue":"3","key":"20_CR5","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 of Automation (RAIRO-APIIJESA), 31(3):503\u2013524, 1997. Research Report Inria 2341.","journal-title":"European Journal of Automation (RAIRO-APIIJESA)"},{"issue":"3","key":"20_CR6","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1109\/32.798329","volume":"25","author":"P. Caspi","year":"1999","unstructured":"P. Caspi, A. Girault, and D. Pilaud. Automatic distribution of reactive systems for asynchronous networks of processors. IEEE Trans. on Software Engineering, 25(3):416\u2013427, May\/June 1999.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"20_CR7","unstructured":"D.M. Chapiro. Globally Asynchronous Locally Synchronous Systems. PhD Thesis, Stanford University, October 1984."},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0890-5401(87)90040-X","volume":"73","author":"M. Clerbout","year":"1987","unstructured":"M. Clerbout and M. Latteux. Semi-commutations. Information and Computation, 73:59\u201374, 1987.","journal-title":"Information and Computation"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"A. Dinning. A survey of synchronization methods for parallel computers. IEEE Computer, pages 66\u201376, July 1989.","DOI":"10.1109\/2.30733"},{"key":"20_CR10","unstructured":"A. Girault and G. Berry. Circuit generation and verification of Esterel programs. In IEEE International Symposium on Signals, Circuits, and Systems, SCS\u201999, pages 85\u201389, Iasi, Romania, July 1999. \u201cGh. Asachi\u201d Publishing."},{"issue":"13","key":"20_CR11","doi-asserted-by":"publisher","first-page":"1741","DOI":"10.1016\/S0167-8191(99)00086-1","volume":"25","author":"R. Gupta","year":"1999","unstructured":"R. Gupta, S. Pande, K. Psarris, and V. Sarkar. Compilation techniques for parallel systems. Parallel Computing, 25(13):1741\u20131783, 1999.","journal-title":"Parallel Computing"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"A. Hemani, T. Meincke, S. Kumar, A. Postula, T. Olsson, P. Nilsson, J. Oberg, P. Ellervee, and D. Lundqvist. Lowering power consumption in clock by using globally asynchronous locally synchronous design style. In 36th ACM\/IEEE Design Automation Conference, DAC\u201999, pages 873\u2013878, New Orleans, USA, June 1999.","DOI":"10.1145\/309847.310091"},{"key":"20_CR13","unstructured":"J. Muttersbach, T. Villiger, and W. Fichtner. Practical design of globally asynchronous locally synchronous systems. In Int. Symp. on Advanced Research in Asynchronous Circuits and Systems, ASYNC\u201900, Eilat, Israel, April 2000. IEEE."},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"T. Shiple, G. Berry, and H. Touati. Constructive analysis of cyclic circuits. In European Design and Test Conference, pages 328\u2013333, Paris, France, March 1996.","DOI":"10.1109\/EDTC.1996.494321"}],"container-title":["Lecture Notes in Computer Science","Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45828-X_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T04:14:54Z","timestamp":1737432894000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45828-X_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540443070","9783540458289"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-45828-x_20","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]},"assertion":[{"value":"24 October 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}