{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:55Z","timestamp":1725456235599},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627814"},{"type":"electronic","value":"9783540685173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0030628","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:10:41Z","timestamp":1133417441000},"page":"595-606","source":"Crossref","is-referenced-by-count":1,"title":["Reactive types"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"S. Abramsky, S. Gay and R. Nagarajan. Interaction categories and the foundations of typed concurrent programming. In Proceedings of the 1994 Marktoberdorf Summer School. NATO ASI Series, Springer Verlag, 1995.","DOI":"10.1007\/978-3-642-61455-2_10"},{"key":"47_CR2","doi-asserted-by":"crossref","unstructured":"T. P. Amagbegnon, L. Besnard and P. Le Guernic. Implementation of the data-flow synchronous language Signal. In Proceedings of the 1995's ACM Conference on Programming Language Design and Implementation, p. 163\u2013173. ACM, 1995.","DOI":"10.1145\/207110.207134"},{"key":"47_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"A. Benveniste, P. Le Guernic and C. Jacquemot. Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming, 16:103\u2013149, 1991.","journal-title":"Science of Computer Programming"},{"key":"47_CR4","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. In Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"47_CR5","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud. The synchronous data-flow programming language Lustre. In Proceedings of the IEEE, 79(9), p. 1305\u20131320. IEEE Press, September 1991.","DOI":"10.1109\/5.97300"},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"T. Jensen. Clock analysis of synchronous data-flow programs. In Proceedings of the 1995's ACM Conference on Partial Evaluation and Program Manipulation. ACM, 1995.","DOI":"10.1145\/215465.215582"},{"key":"47_CR7","unstructured":"M. Le Borgne. Syst\u00e8mes dynamiques polynomiaux sur les corps finis. Ph. D. Thesis, Universit\u00e9 de Rennes I, September 1991."},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"O. Maffe\u00cfs and P. Le Guernic. Distributed implementation of Signal: scheduling and graph clustering. In 3rd. International Symposium on Formal techniques in Real-Time and Fault-Tolerant Systems, p. 547\u2013566. LNCS no. 863, Springer Verlag, 1995.","DOI":"10.1007\/3-540-58468-4_183"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"D. Nowak, J.-P. Talpin, T. Gautier, and P. Le Guernic. An ML-like module system for the synchronous language Signal. Submitted for publication, December 1996.","DOI":"10.1007\/BFb0002880"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '97: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:20:49Z","timestamp":1586593249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627814","9783540685173"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0030628","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}