{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:04Z","timestamp":1725663904899},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581796"},{"type":"electronic","value":"9783540484691"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58179-0_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:26:04Z","timestamp":1330269964000},"page":"441-454","source":"Crossref","is-referenced-by-count":4,"title":["Compositional semantics of Esterel and verification by compositional reductions"],"prefix":"10.1007","author":[{"given":"R.","family":"Simone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Ressouche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Gonthier. The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1992.","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"36_CR2","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier, and C. Ratel. An experience in proving regular networks of processes by modular model checking. Acta Informatica, 1992.","DOI":"10.1007\/BF01185559"},{"key":"36_CR3","doi-asserted-by":"crossref","unstructured":"D. Harel. Statecharts: A visual approach to complex systems. SCP, 1987.","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"36_CR4","unstructured":"K. Larsen. Context-dependent Bisimulation between Processes. PhD thesis, Edinburgh University, 1986."},{"key":"36_CR5","unstructured":"F. Maraninchi. Operational and Compositional Semantics of Synchronous Automaton Generation. In CONCUR'92, volume LNCS 630, 1992."},{"key":"36_CR6","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall, 1989."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58179-0_74.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:18:01Z","timestamp":1605647881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58179-0_74"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581796","9783540484691"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/3-540-58179-0_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}