{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:19:42Z","timestamp":1745986782994,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358609"},{"type":"electronic","value":"9783642358616"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35861-6_6","type":"book-chapter","created":{"date-parts":[[2013,1,11]],"date-time":"2013-01-11T03:44:50Z","timestamp":1357875890000},"page":"92-109","source":"Crossref","is-referenced-by-count":5,"title":["Assume-Guarantee Reasoning for Safe Component Behaviours"],"prefix":"10.1007","author":[{"given":"Chris","family":"Chilton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Jonsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: Proc. 8th ACM International Conference on Embedded Software, EMSOFT 2008, pp. 79\u201388. ACM (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"119","DOI":"10.3233\/FI-2011-416","volume":"108","author":"J.B. Raclet","year":"2011","unstructured":"Raclet, J.B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: A modal interface theory for component-based design. Fundam. Inform.\u00a0108, 119\u2013149 (2011)","journal-title":"Fundam. Inform."},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-28869-2_8","volume-title":"Programming Languages and Systems","author":"T. Chen","year":"2012","unstructured":"Chen, T., Chilton, C., Jonsson, B., Kwiatkowska, M.: A Compositional Specification Theory for Component Behaviours. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 148\u2013168. Springer, Heidelberg (2012)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/503271.503226","volume":"26","author":"L. de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. SIGSOFT Softw. Eng. Notes\u00a026, 109\u2013120 (2001)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/s00165-007-0045-4","volume":"20","author":"P. Bhaduri","year":"2008","unstructured":"Bhaduri, P., Ramesh, S.: Interface synthesis and protocol conversion. Form. Asp. Comput.\u00a020, 205\u2013224 (2008)","journal-title":"Form. Asp. Comput."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems\u00a015, 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(93)90151-I","volume":"114","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Plotkin, G.: A logical view of composition. Theoretical Computer Science\u00a0114, 3\u201330 (1993)","journal-title":"Theoretical Computer Science"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: Logics and models of concurrent systems, pp. 123\u2013144. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Clarke, E., Long, D., McMillan, K.: Compositional model checking. In: Proc. 4th Annual Symposium on Logic in Computer Science, pp. 353\u2013362. IEEE Press (1989)","DOI":"10.1109\/LICS.1989.39190"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Grumberg, O., Long, D.E.: Model checking and modular verification. ACM Transactions on Programming Languages and Systems\u00a016 (1991)","DOI":"10.1007\/3-540-54430-5_93"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1007\/3-540-48224-5_67","volume-title":"Automata, Languages and Programming","author":"P. Maier","year":"2001","unstructured":"Maier, P.: A Set-Theoretic Framework for Assume-Guarantee Reasoning. In: Orejas, F., Spirakis, P.G., Leeuwen, J. (eds.) ICALP 2001. LNCS, vol.\u00a02076, pp. 821\u2013834. Springer, Heidelberg (2001)"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1740582.1740584","volume":"11","author":"K.S. Namjoshi","year":"2010","unstructured":"Namjoshi, K.S., Trefler, R.J.: On the completeness of compositional reasoning methods. ACM Trans. Comput. Logic\u00a011, 16:1\u201316:22 (2010)","journal-title":"ACM Trans. Comput. Logic"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-540-68237-0_10","volume-title":"FM 2008: Formal Methods","author":"M. Emmi","year":"2008","unstructured":"Emmi, M., Giannakopoulou, D., P\u0103s\u0103reanu, C.S.: Assume-Guarantee Verification for Interface Automata. In: Cuellar, J., Maibaum, T., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 116\u2013131. Springer, Heidelberg (2008)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11813040_7","volume-title":"FM 2006: Formal Methods","author":"K.G. Larsen","year":"2006","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Interface Input\/Output Automata. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 82\u201397. Springer, Heidelberg (2006)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-28872-2_3","volume-title":"Fundamental Approaches to Software Engineering","author":"S.S. Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Larsen, K.G., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from Specifications to Contracts in Component-Based Design. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 43\u201358. Springer, Heidelberg (2012)"},{"key":"6_CR17","first-page":"1","volume":"38","author":"B. Delahaye","year":"2011","unstructured":"Delahaye, B., Caillaud, B., Legay, A.: Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and\/or non-deterministic aspects. FMSD\u00a038, 1\u201332 (2011)","journal-title":"FMSD"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Chilton, C., Jonsson, B., Kwiatkowska, M.: Assume-Guarantee Reasoning for Safe Component Behaviours. Technical Report CS-RR-12-07, Department of Computer Science, University of Oxford (2012)","DOI":"10.1007\/978-3-642-35861-6_6"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/3-540-56610-4_67","volume-title":"TAPSOFT \u201993: Theory and Practice of Software Development","author":"P. Collette","year":"1993","unstructured":"Collette, P.: Application of the Composition Principle to Unity-Like Specifications. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol.\u00a0668, pp. 230\u2013242. Springer, Heidelberg (1993)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1145\/203095.201069","volume":"17","author":"M. Abadi","year":"1995","unstructured":"Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems\u00a017, 507\u2013534 (1995)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0304-3975(96)00069-2","volume":"167","author":"B. Jonsson","year":"1996","unstructured":"Jonsson, B., Tsay, Y.K.: Assumption\/guarantee specifications in linear-time temporal logic. Theoretical Computer Science\u00a0167, 47\u201372 (1996)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Formal Aspects of Component Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35861-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T16:51:08Z","timestamp":1745945468000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-35861-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358609","9783642358616"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35861-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}