{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T04:45:16Z","timestamp":1764305116573},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647812"},{"type":"electronic","value":"9783540686811"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055057","type":"book-chapter","created":{"date-parts":[[2006,8,1]],"date-time":"2006-08-01T12:08:05Z","timestamp":1154434085000},"page":"235-246","source":"Crossref","is-referenced-by-count":21,"title":["Translation validation for synchronous languages"],"prefix":"10.1007","author":[{"given":"A.","family":"Pnneli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Shtriehman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Siegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2), 1991.","DOI":"10.1016\/0304-3975(91)90224-P"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"A. Benviniste, P. Le Guernic, ami C. Jacquemot. Synchronous programming with events and relations: the SIGNAL language. Science of Computer Programming, 16, 1991.","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2), 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"E. B\u00f6rger, E. Gr\u00e4del, and Y. Gurevich. The Classical Decision Problem.Springer, 1996.","DOI":"10.1007\/978-3-642-59207-2"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"P. Caspi, N. Halbwachs, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9),1991.","DOI":"10.1109\/5.97300"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"A. Cimatti, F. Giunchiglia, and P. Pecchiari et al. A provably correct embedded verifier for the certification of safety critical software. In CAV, number 1254 in LNCS. Springer, 1997.","DOI":"10.1007\/3-540-63166-6_21"},{"key":"22_CR7","unstructured":"The declarative code DC+. ESPRIT Project: SACRES, Project Report, 1997. Version 1.3."},{"key":"22_CR8","unstructured":"Another look at real-time programming, volume 79 of Special Issue in Proc. of the IEEE, September 1991."},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"F. Maraninchi. Operational and compositional semantics of synchronous automata compositions. In Proceedings CONCUR, volume 630 of LNCS.Springer, 1992.","DOI":"10.1007\/BFb0084815"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"A. Pnueli, M. Siegel, and E. Singermann. Translation validation. In TACAS 98: Tools and Algorithms for the Construction and Analysis of Systems, LNCS. Springer-Verlag, 1998.","DOI":"10.1007\/BFb0054170"},{"key":"22_CR11","unstructured":"private communications with TNI (BREST), Siemens (Munich) and Inria (Rennes)."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T12:18:44Z","timestamp":1555762724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647812","9783540686811"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0055057","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}