{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,22]],"date-time":"2025-12-22T18:39:43Z","timestamp":1766428783086},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319631202"},{"type":"electronic","value":"9783319631219"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-63121-9_12","type":"book-chapter","created":{"date-parts":[[2017,7,24]],"date-time":"2017-07-24T08:05:15Z","timestamp":1500883515000},"page":"233-248","source":"Crossref","is-referenced-by-count":4,"title":["Synchronous Interfaces and Assume\/Guarantee Contracts"],"prefix":"10.1007","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[]},{"given":"Beno\u00eet","family":"Caillaud","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,25]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73\u2013132 (1993)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0035748","volume-title":"Automata, Languages and Programming","author":"M Abadi","year":"1989","unstructured":"Abadi, M., Lamport, L., Wolper, P.: Realizable and unrealizable specifications of reactive systems. In: Ausiello, G., Dezani-Ciancaglini, M., Rocca, S.R. (eds.) ICALP 1989. LNCS, vol. 372, pp. 1\u201317. Springer, Heidelberg (1989). doi: 10.1007\/BFb0035748"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1007\/10722167_40","volume-title":"Computer Aided Verification","author":"Y Abarbanel","year":"2000","unstructured":"Abarbanel, Y., Beer, I., Gluhovsky, L., Keidar, S., Wolfsthal, Y.: FoCs \u2013 automatic generation of simulation checkers from formal specifications. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 538\u2013542. Springer, Heidelberg (2000). doi: 10.1007\/10722167_40"},{"issue":"1","key":"12_CR4","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008739929481","volume":"15","author":"R Alur","year":"1999","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. Form. Methods Syst. Des. 15(1), 7\u201348 (1999)","journal-title":"Form. Methods Syst. Des."},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: modularity in model checking. In: Hu, A.J., Vardi, M.Y. (eds.) CAV 1998. LNCS, vol. 1427, pp. 521\u2013525. Springer, Heidelberg (1998). doi: 10.1007\/BFb0028774"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-540-78499-9_9","volume-title":"Foundations of Software Science and Computational Structures","author":"A Antonik","year":"2008","unstructured":"Antonik, A., Huth, M., Larsen, K.G., Nyman, U., W\u0105sowski, A.: Complexity of decision problems for mixed and modal specifications. In: Amadio, R. (ed.) FoSSaCS 2008. LNCS, vol. 4962, pp. 112\u2013126. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-78499-9_9"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Balarin, F., Passerone, R.: Functional verification methodology based on formal interface specification and transactor generation. In: Proceedings of the Conference on Design, Automation and Test in Europe (DATE 2006), pp. 1013\u20131018, Munich, Germany, 6\u201310 March 2006. European Design and Automation Association, 3001 Leuven, Belgium (2006)","DOI":"10.1109\/DATE.2006.243899"},{"issue":"10","key":"12_CR8","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TCAD.2007.895792","volume":"26","author":"F Balarin","year":"2007","unstructured":"Balarin, F., Passerone, R.: Specification, synthesis and simulation of transactor processes. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 26(10), 1749\u20131762 (2007)","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"12_CR9","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":"SS Bauer","year":"2012","unstructured":"Bauer, S.S., David, A., Hennicker, R., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: Moving from specifications to contracts in component-based design. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 43\u201358. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-28872-2_3"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-92188-2_9","volume-title":"Formal Methods for Components and Objects","author":"A Benveniste","year":"2008","unstructured":"Benveniste, A., Caillaud, B., Ferrari, A., Mangeruca, L., Passerone, R., Sofronis, C.: Multiple viewpoint contract-based specification and design. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2007. LNCS, vol. 5382, pp. 200\u2013225. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-92188-2_9"},{"issue":"1","key":"12_CR11","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.9999","volume":"163","author":"A Benveniste","year":"2000","unstructured":"Benveniste, A., Caillaud, B., Le Guernic, P.: Compositionality in dataflow synchronous languages: specification and distributed code generation. Inf. Comput. 163(1), 125\u2013171 (2000)","journal-title":"Inf. Comput."},{"issue":"XX","key":"12_CR12","first-page":"1","volume":"XX","author":"A Benveniste","year":"2017","unstructured":"Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, P., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K.: Contracts for system design. Monograph to appear in Found. Trends Electron. Des. Autom. XX(XX), 1\u2013259 (2017)","journal-title":"Monograph to appear in Found. Trends Electron. Des. Autom."},{"issue":"1","key":"12_CR13","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages 12 years later. Proc. IEEE 91(1), 64\u201383 (2003)","journal-title":"Proc. IEEE"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Benvenuti, L., Ferrari, A., Mangeruca, L., Mazzi, E., Passerone, R., Sofronis, C.: A contract-based formalism for the specification of heterogeneous systems. In: Proceedings of the Forum on Specification, Verification and Design Languages (FDL 2008), pp. 142\u2013147, Stuttgart, Germany, 23\u201325 September 2008","DOI":"10.1109\/FDL.2008.4641436"},{"key":"12_CR15","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1016\/j.tcs.2016.06.011","volume":"642","author":"F Bujtor","year":"2016","unstructured":"Bujtor, F., Fendrich, S., L\u00fcttgen, G., Vogler, W.: Nondeterministic modal interfaces. Theoret. Comput. Sci. 642, 24\u201353 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/978-3-319-04298-5_15","volume-title":"SOFSEM 2014: Theory and Practice of Computer Science","author":"F Bujtor","year":"2014","unstructured":"Bujtor, F., Vogler, W.: Error-pruning in interface automata. In: Geffert, V., Preneel, B., Rovan, B., \u0160tuller, J., Tjoa, A.M. (eds.) SOFSEM 2014. LNCS, vol. 8327, pp. 162\u2013173. Springer, Cham (2014). doi: 10.1007\/978-3-319-04298-5_15"},{"key":"12_CR17","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.tcs.2015.06.047","volume":"597","author":"F Bujtor","year":"2015","unstructured":"Bujtor, F., Vogler, W.: Error-pruning in interface automata. Theoret. Comput. Sci. 597, 18\u201339 (2015)","journal-title":"Theoret. Comput. Sci."},{"key":"12_CR18","unstructured":"Chakrabarti, A.: A framework for compositional design and analysis of systems. Ph.D. thesis, Electrical Engineering and Computer Sciences University of California at Berkeley, December 2007. http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2007EECS-2007-174.html"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"Computer Aided Verification","author":"A Chakrabarti","year":"2002","unstructured":"Chakrabarti, A., Alfaro, L., Henzinger, T.A., Mang, F.Y.C.: Synchronous and bidirectional component interfaces. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 414\u2013427. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45657-0_34"},{"key":"12_CR20","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2013.12.010","volume":"91","author":"C Chilton","year":"2014","unstructured":"Chilton, C., Jonsson, B., Kwiatkowska, M.Z.: Compositional assume-guarantee reasoning for input\/output component theories. Sci. Comput. Program. 91, 115\u2013137 (2014)","journal-title":"Sci. Comput. Program."},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Damm, W., Thaden, E., Stierand, I., Peikenkamp, T., Hungar, H.: Using contract-based component specifications for virtual integration and architecture design. In: Proceedings of the 2011 Design, Automation and Test in Europe (DATE 2011), March 2011. To appear","DOI":"10.1109\/DATE.2011.5763167"},{"key":"12_CR22","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2001), pp. 109\u2013120. ACM Press (2001)","DOI":"10.1145\/503209.503226"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, pp. 79\u201388 (2008)","DOI":"10.1145\/1450058.1450070"},{"key":"12_CR24","series-title":"Embedded Systems","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/978-1-4614-3879-3_8","volume-title":"Embedded Systems Development: From Functional Models to Implementations","author":"S Graf","year":"2014","unstructured":"Graf, S., Passerone, R., Quinton, S.: Contract-based reasoning for component systems with rich interactions. In: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (eds.) Embedded Systems Development: From Functional Models to Implementations. Embedded Systems, vol. 20, pp. 139\u2013154. Springer, New York (2014). doi: 10.1007\/978-1-4614-3879-3_8"},{"key":"12_CR25","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":"KG Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O automata for interface and product line theories. In: Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-71316-6_6"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"Raclet, J.-B., Badouel, E., Benveniste, A., Caillaud, B., Legay, A., Passerone, R.: Modal interfaces: unifying interface automata and modal specifications. In: Proceedings of the Ninth International Conference on Embedded Software (EMSOFT 2009), pp. 87\u201396, Grenoble, France, 12\u201316 October 2009","DOI":"10.1145\/1629335.1629348"},{"issue":"1\u20132","key":"12_CR27","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. 108(1\u20132), 119\u2013149 (2011)","journal-title":"Fundam. Inform."}],"container-title":["Lecture Notes in Computer Science","Models, Algorithms, Logics and Tools"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63121-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,13]],"date-time":"2020-10-13T06:57:30Z","timestamp":1602572250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63121-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319631202","9783319631219"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63121-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}