{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:20:25Z","timestamp":1742394025997},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540206804"},{"type":"electronic","value":"9783540245971"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24597-1_36","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T07:39:20Z","timestamp":1280389160000},"page":"420-433","source":"Crossref","is-referenced-by-count":18,"title":["Component-Based Construction of Deadlock-Free Systems"],"prefix":"10.1007","author":[{"given":"Gregor","family":"G\u00f6ssler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1\/2","key":"36_CR1","first-page":"55","volume":"23","author":"K. Altisen","year":"2002","unstructured":"Altisen, K., G\u00f6ssler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, special issue on control theoretical approaches to real-time computing\u00a023(1\/2), 55\u201384 (2002)","journal-title":"Journal of Real-Time Systems, special issue on control theoretical approaches to real-time computing"},{"key":"36_CR2","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0167-6423(91)90001-E","volume":"16","author":"A. Benveniste","year":"1991","unstructured":"Benveniste, A., LeGuernic, P., Jacquemot, C.: Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming\u00a016, 103\u2013149 (1991)","journal-title":"Science of Computer Programming"},{"issue":"1","key":"36_CR3","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. TCS\u00a037(1), 77\u2013121 (1985)","journal-title":"TCS"},{"issue":"2","key":"36_CR4","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G. Berry","year":"1992","unstructured":"Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: Design, semantics, implementation. Science of Computer Programming\u00a019(2), 87\u2013152 (1992)","journal-title":"Science of Computer Programming"},{"key":"36_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-46419-0_9","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Bornot","year":"2000","unstructured":"Bornot, S., G\u00f6ssler, G., Sifakis, J.: On the construction of live timed systems. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol.\u00a01785, pp. 109\u2013126. Springer, Heidelberg (2000)"},{"key":"36_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 148\u2013165. Springer, Heidelberg (2001)"},{"key":"36_CR7","volume-title":"A Discipline of Programming","author":"E.W. Dijskstra","year":"1976","unstructured":"Dijskstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"36_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/978-3-540-39656-7_19","volume-title":"Formal Methods for Components and Objects","author":"G. Goessler","year":"2003","unstructured":"Goessler, G., Sifakis, J.: Composition for component-based modeling. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2002. LNCS, vol.\u00a02852, pp. 443\u2013466. Springer, Heidelberg (2003)"},{"issue":"9","key":"36_CR9","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"key":"36_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Horowitz, B., Meyer Kirsch, C.: Embedded control systems development with Giotto. In: Proc. LCTES (2001)","DOI":"10.1145\/384197.384208"},{"key":"36_CR11","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)"},{"key":"36_CR12","volume-title":"Real-Time Systems: Design Principles for Distributed Embedded Applications","author":"H. Kopetz","year":"1997","unstructured":"Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)"},{"key":"36_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol.\u00a0900, pp. 229\u2013242. Springer, Heidelberg (1995)"},{"key":"36_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0084815","volume-title":"CONCUR \u201992","author":"F. Maraninchi","year":"1992","unstructured":"Maraninchi, F.: Operational and compositional semantics of synchronous automaton compositions. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol.\u00a0630, Springer, Heidelberg (1992)"},{"issue":"3","key":"36_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Theoretical Computer Science\u00a025(3), 267\u2013310 (1983)","journal-title":"Theoretical Computer Science"},{"key":"36_CR16","volume-title":"Parallel Program Design: A Foundation","author":"J. Misra","year":"1988","unstructured":"Misra, J., Chandy, K.M.: Parallel Program Design: A Foundation. Addison-Wesley, Reading (1988)"},{"volume-title":"Using Formal Description Techniques \u2014 An Introduction to Estelle, LOTOS and SDL","year":"1993","key":"36_CR17","unstructured":"Turner, K.J. (ed.): Using Formal Description Techniques \u2014 An Introduction to Estelle, LOTOS and SDL. Wiley, Chichester (1993)"}],"container-title":["Lecture Notes in Computer Science","FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24597-1_36","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T13:52:10Z","timestamp":1552830730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24597-1_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540206804","9783540245971"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24597-1_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}