{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:16:05Z","timestamp":1725495365468},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540658368"},{"type":"electronic","value":"9783540489191"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48919-3_9","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T16:48:02Z","timestamp":1194972482000},"page":"103-117","source":"Crossref","is-referenced-by-count":3,"title":["Coordination of Synchronous Programs"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Budde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Michele","family":"Pinna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Axel","family":"Poign\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,18]]},"reference":[{"key":"9_CR1","first-page":"87104","volume":"A","author":"G. Berry","year":"1992","unstructured":"G. Berry. Esterel on hardware. Philosophical Transation Royal Society of London, A:87104, 1992.","journal-title":"Philosophical Transation Royal Society of London"},{"key":"9_CR2","first-page":"1270","volume":"79","author":"G. Berry","year":"1991","unstructured":"G. Berry and A. Benveniste. The synchronous approach to reactive and real-time systems. Another Look at Real Time Programming, Proceedings of IEEE, 79:1270\u20131282, 1991.","journal-title":"Another Look at Real Time Programming, Proceedings of IEEE"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993.","DOI":"10.1145\/158511.158526"},{"issue":"4","key":"9_CR5","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1109\/32.491649","volume":"22","author":"F. Boussinot","year":"1996","unstructured":"F. Boussinot and R. de Simone. The SL synchronous language. IEEE Transactionson Software Engineering, 22(4):256\u2013266, 1996.","journal-title":"IEEE Transactionson Software Engineering"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1145\/828.833","volume":"31","author":"S. D. Brookes","year":"1984","unstructured":"S. D. Brookes, C. A. R. Hoare, and A. W. Roscoe. A theory of communicating sequential processes. Journal of the ACM, 31(3):560\u2013599, 1984.","journal-title":"Journal of the ACM"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"N. Halbwachs. Synchronous Programming of Reactive Systems. The Kuwler International Series in Engineering and Computer Science. Kuwler Academic Publisher, 1993.","DOI":"10.1007\/978-1-4757-2231-4"},{"issue":"9","key":"9_CR8","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305\u20131320, 1991.","journal-title":"Proceedings of the IEEE"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. B. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4):403\u2013414, April 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"V. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, pages 71\u201380. IEEE Computer Society Press, 1994.","DOI":"10.1109\/LICS.1994.316085"}],"container-title":["Lecture Notes in Computer Science","Coordinatio Languages and Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48919-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T02:47:30Z","timestamp":1551062850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48919-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540658368","9783540489191"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-48919-3_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}