{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:13Z","timestamp":1725663793301},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:34Z","timestamp":1330250194000},"page":"20-38","source":"Crossref","is-referenced-by-count":1,"title":["SIGNAL as a model for real-time and hybrid systems"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Michel","family":"Borgne","sequence":"additional","affiliation":[]},{"given":"Paul","family":"Guernic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"A. Benveniste, G. Berry, \u201cReal-Time systems design and programming\u201d, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991."},{"key":"2_CR2","unstructured":"A. Benveniste, P. Le Guernic, Y. Sorel, M. Sorine, \u201cA denotational theory of synchronous communicating systems\u201d, INRIA Research Report 685, Rennes, France, 1987, to appear in Information and Computation."},{"issue":"5","key":"2_CR3","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1109\/9.53519","volume":"35","author":"A. Benveniste","year":"1990","unstructured":"A. Benveniste, P. Le Guernic, \u201cHybrid Dynamical Systems Theory and the Signal Language\u201d, IEEE transactions on Automatic Control, 35(5), May 1990, pp. 535\u2013546.","journal-title":"IEEE transactions on Automatic Control"},{"key":"2_CR4","unstructured":"A. Benveniste, P. Le Guernic, C. Jacquemot, Synchronous programming with events and relations: the Signal language and its semantics, IRISA Research Report 459, Rennes, France, 1989, to appear in Science of Computer Programming"},{"key":"2_CR5","unstructured":"A. Benveniste, \u201cConstructive probability and the Sign alea language\u201d, IRISA res. rep., 1991."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"B. Buchberger, \u201cGr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory\u201d N.K. Bose (ed.), Multidimensional Systems Theory, 184\u2013232, D. Reidel Publishing Company.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"2_CR7","unstructured":"L. Besnard, Thesis, IFSIC-IRISA, 1991."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"F. Boussinot, R. de Simone, \u201cThe Esterel language\u201d, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.","DOI":"10.1109\/5.97299"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, D. Pilaud, \u201cThe synchronous dataflow programming language Lustre\u201d, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.","DOI":"10.1109\/5.97300"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli, \u201cAn Interleaving Model for Real-time\u201d, Jersalem Conf. on Information Technology 1990, IEEE Computer Society Press.","DOI":"10.21236\/ADA326062"},{"key":"2_CR11","unstructured":"T.A. Henzinger, Z. Manna, A. Pnueli, \u201cTemporal proof methodologies for Real-time systems\u201d, POPL'91."},{"key":"2_CR12","first-page":"2695","volume":"3 of 3","author":"M. Borgne Le","year":"1989","unstructured":"M. Le Borgne, A. Benveniste, P. Le Guernic, \u201cPolynomial Ideal Theory Methods in Discrete Event, and Hybrid Dynamical Systems\u201d, in Proceedings of the 28th IEEE Conference on Decision and Control, IEEE Control Systems Society, Volume 3 of 3, 1989, pp. 2695\u20132700.","journal-title":"IEEE Control Systems Society"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire, \u201cProgramming real-time applications with Signal\u201d, Another look at real-time programming, special section of Proc. of the IEEE, to appear Sept. 1991.","DOI":"10.1109\/5.97301"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"X. Nicollin, J. Sifakis, S. Yovine, \u201cFrom ATP to Timed Graphs and Hybrid Systems\u201d, REX workshop \u201cReal-Time, theory in practice\u201d, Mook, The Netherlands, June 3\u20137, 1991.","DOI":"10.1007\/BFb0032007"}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:26Z","timestamp":1605646706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}