{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:23Z","timestamp":1725663983140},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581840"},{"type":"electronic","value":"9783540484776"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"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":[[1994]]},"DOI":"10.1007\/3-540-58184-7_135","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:29:50Z","timestamp":1330270190000},"page":"611-622","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["CoReA: A synchronous calculus of parallel communicating reactive automata"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"51_CR1","doi-asserted-by":"crossref","unstructured":"M. Adelantado, F. Boniol, M. Cubero-Castan, V. David, B. L\u00e9cussan, and R. Porche. Synchronous\/Asynchronous Approaches for Intelligent Real-Time Systems. In EUROMICRO'93 Workshop on Real-Time Systems, Oulu, Finland, June 1993.","DOI":"10.1109\/EMWRT.1993.639107"},{"key":"51_CR2","volume-title":"Technical Report 1\/3447.00\/DERI","author":"M. Adelantado","year":"1993","unstructured":"M. Adelantado, F. Boniol, M. Cubero-Castan, N. Hifdi, B. L\u00e9cussan, V. David, and R. Porche. Projet SATURNE: Mod\u00e8le de Programmation et Mod\u00e8le d'Ex\u00e9cution pour un Syst\u00e8me Temps-R\u00e9el d'Aide \u00e0 la D\u00e9cision. Technical Report 1\/3447.00\/DERI, CERT-ONERA D\u00e9pt. d'Informatique, Toulouse, January 1993."},{"issue":"9","key":"51_CR3","first-page":"1270","volume":"79","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste and G. Berry. The synchronous approach to reactive and realtime systems. Proceedings of IEEE, Another Look at Real-time programming, 79(9):1270\u20131282, September 1991.","journal-title":"Proceedings of IEEE, Another Look at Real-time programming"},{"key":"51_CR4","doi-asserted-by":"crossref","unstructured":"G. Berry. Communicating Reactive Processes. In Proc. of the 20th Annual Symp. on Principles of Programming Languages, 1993.","DOI":"10.1145\/158511.158526"},{"issue":"2","key":"51_CR5","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"},{"issue":"3","key":"51_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013275, 1987.","journal-title":"Science of Computer Programming"},{"key":"51_CR7","doi-asserted-by":"crossref","unstructured":"R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25(3), 1983.","DOI":"10.1016\/0304-3975(83)90114-7"}],"container-title":["Lecture Notes in Computer Science","PARLE'94 Parallel Architectures and Languages Europe"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58184-7_135","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:39:52Z","timestamp":1558269592000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58184-7_135"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581840","9783540484776"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-58184-7_135","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}