{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:43:22Z","timestamp":1745124202364,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540410553"},{"type":"electronic","value":"9783540453529"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"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":[[2000]]},"DOI":"10.1007\/3-540-45352-0_18","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T17:26:02Z","timestamp":1194974762000},"page":"214-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Compositional Verification of Synchronous Networks"],"prefix":"10.1007","author":[{"given":"Leszek","family":"Holenderski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"issue":"1","key":"18_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"M. Abadi, L. Lamport, Composing specifications, ACM Transactions on Programming Languages and Systems, 15(1):73\u2013132, Jan. 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"18_CR2","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"M. Abadi, L. Lamport, Conjoining specifications, ACM Transactions on Programming Languages and Systems, 17(3):507\u2013534, May 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"18_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M. Abadi","year":"1993","unstructured":"M. Abadi, G.D. Plotkin, A logical view of composition. Theoretical Computer Science, 114(1):3\u201330, 1993.","journal-title":"Theoretical Computer Science"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"H.R. Andersen, Partial Model Checking, Proceedings of LICS\u201995, IEEE Computer Society Press, 398\u2013407, June 1995.","DOI":"10.1109\/LICS.1995.523274"},{"key":"18_CR5","unstructured":"A. Aziz, F. Balarin, R. Brayton and A. Sangiovanni-Vincentelli, Sequential synthesis using S1S, Int. Conf. on Computer-Aided Design ICCAD\u201995, 1995."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"G. Benveniste","year":"1991","unstructured":"G. Benveniste and P. Le Guernic, 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":"18_CR7","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 synchronous programming language Esterel: design, semantics, implementation, Science of Computer Programming, 19:87\u2013152, 1992.","journal-title":"Science of Computer Programming"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"G. Berry, A hardware implementation of pure Esterel, Sadhana, Academy Proceedings in Engineering Sciencies, Indian Academy of Sciences, 17:95\u2013130, 1992.","DOI":"10.1007\/BF02811340"},{"key":"18_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous Programming of Reactive Systems","author":"N. Halbwachs","year":"1993","unstructured":"N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Dordrecht, 1993."},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language Lustre, Proceedings of the IEEE, 79(9):1305\u20131321, Sep. 1991.","DOI":"10.1109\/5.97300"},{"key":"18_CR11","unstructured":"N. Halbwachs, J.-C. Fernandez and A. Bouajjanni, An executable temporal logic to express safety properties and its connection with the language Lustre, Sixth Int. Symp. on Lucid and Intensional Programming, ISLIP\u201993, Quebec, April 1993."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, F. Lagnier and P. Raymond, Synchronous observers and the verification of reactive systems, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Workshops in Computing, Springer, Twente, June 1993.","DOI":"10.1007\/978-1-4471-3227-1_8"},{"issue":"3","key":"18_CR13","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"L. Lamport, The temporal logic of actions,ACM Transactions on Programming Languages and Systems, 16(3):872\u2013923, May 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR\u201992","author":"F. Maraninchi","year":"1992","unstructured":"F. Maraninchi, Operational and compositional semantics of synchronous automaton compositions, CONCUR\u201992, LNCS 630, Springer-Verlag, 550\u2013564, Aug. 1992."},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-49213-5_19","volume-title":"On the Combination of Synchronous Languages","author":"A. Poign\u00e9","year":"1998","unstructured":"A. Poign\u00e9 and L. Holenderski, On the Combination of Synchronous Languages, Int. Symp. on Compositionality, COMPOS\u201997, LNCS 1536, State-of-the-Art Survey, Springer, 490\u2013514, Sep. 1997."},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"E. Sentovich, H. Toma, and G. Berry, Efficient Latch Optimization Using Incompatible Sets, Int. Digital Automation Conf. DAC\u201997, Anaheim, 1997.","DOI":"10.1145\/266021.266026"},{"key":"18_CR17","unstructured":"H. Toma, E. Sentovich, and G. Berry, Latch Optimization in Circuits Generated from High-Level Descriptions, Int. Conf. on Computer-Aided Design ICCAD\u201996, 1996."},{"key":"18_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/BFb0015773","volume-title":"A complete compositional modal proof system for a subset of CCS","author":"C. Stirling","year":"1985","unstructured":"C. Stirling, A complete compositional modal proof system for a subset of CCS, LNCS 194, Springer-Verlag, 475\u2013486, 1985."},{"key":"18_CR19","unstructured":"T. Shiple, G. Berry, H. Touati, Constructive analysis of cyclic circuits, Int. Design and Testing Conf. IDTC\u201996, Paris, France, 1996."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45352-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T07:56:38Z","timestamp":1737532598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45352-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540410553","9783540453529"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45352-0_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"22 January 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}