{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T05:47:03Z","timestamp":1726033623187},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030223472"},{"type":"electronic","value":"9783030223489"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-22348-9_10","type":"book-chapter","created":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T17:04:54Z","timestamp":1561482294000},"page":"151-166","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Interface Automata for Shared Memory"],"prefix":"10.1007","author":[{"given":"Johannes","family":"Gareis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerald","family":"L\u00fcttgen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayleen","family":"Schinko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walter","family":"Vogler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,6,26]]},"reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11559306_5","volume-title":"Frontiers of Combining Systems","author":"L Alfaro de","year":"2005","unstructured":"de Alfaro, L., da Silva, L.D., Faella, M., Legay, A., Roy, P., Sorea, M.: Sociable interfaces. In: Gramlich, B. (ed.) FroCoS 2005. LNCS (LNAI), vol. 3717, pp. 81\u2013105. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11559306_5"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC\/FSE, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"10_CR3","series-title":"NATO Science Series","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/1-4020-3532-2_3","volume-title":"Engineering Theories of Software Intensive Systems","author":"L Alfaro de","year":"2005","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Broy, M., Gr\u00fcnbauer, J., Harel, D., Hoare, T. (eds.) Engineering Theories of Software Intensive Systems. NSS, vol. 195, pp. 83\u2013104. Springer, Dordrecht (2005). https:\/\/doi.org\/10.1007\/1-4020-3532-2_3"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19829-8_6","volume-title":"Formal Methods: Foundations and Applications","author":"SS Bauer","year":"2011","unstructured":"Bauer, S.S., Hennicker, R., Bidoit, M.: A modal interface theory with data constraints. In: Davies, J., Silva, L., Simao, A. (eds.) SBMF 2010. LNCS, vol. 6527, pp. 80\u201395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19829-8_6"},{"issue":"28","key":"10_CR5","doi-asserted-by":"publisher","first-page":"3101","DOI":"10.1016\/j.tcs.2011.04.007","volume":"412","author":"SS Bauer","year":"2011","unstructured":"Bauer, S.S., Hennicker, R., Wirsing, M.: Interface theories for concurrency and data. Theoret. Comput. Sci. 412(28), 3101\u20133121 (2011)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-35743-5_5","volume-title":"Formal Aspects of Component Software","author":"SS Bauer","year":"2012","unstructured":"Bauer, S.S., Guldstrand Larsen, K., Legay, A., Nyman, U., W\u0105sowski, A.: A modal specification theory for components with data. In: Arbab, F., \u00d6lveczky, P.C. (eds.) FACS 2011. LNCS, vol. 7253, pp. 61\u201378. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35743-5_5"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-642-12002-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"SS Bauer","year":"2010","unstructured":"Bauer, S.S., Mayer, P., Schroeder, A., Hennicker, R.: On weak modal compatibility, refinement, and the MIO workbench. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 175\u2013189. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12002-2_15"},{"issue":"2\u20133","key":"10_CR8","first-page":"124","volume":"12","author":"A Benveniste","year":"2018","unstructured":"Benveniste, A., et al.: Contracts for system design. Found. Trends EDA 12(2\u20133), 124\u2013400 (2018)","journal-title":"Found. Trends EDA"},{"issue":"C","key":"10_CR9","doi-asserted-by":"publisher","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(C), 24\u201353 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.tcs.2014.07.018","volume":"549","author":"C Chilton","year":"2014","unstructured":"Chilton, C., Jonsson, B., Kwiatkowska, M.: An algebraic theory of interface automata. Theoret. Comput. Sci. 549, 146\u2013174 (2014)","journal-title":"Theoret. Comput. Sci."},{"issue":"6","key":"10_CR11","first-page":"3","volume":"238","author":"S Chouali","year":"2010","unstructured":"Chouali, S., Mountassir, H., Mouelhi, S.: An I\/O automata-based approach to verify component compatibility: application to the CyCab car. ENTCS 238(6), 3\u201313 (2010)","journal-title":"ENTCS"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1016\/j.ic.2017.06.002","volume":"256","author":"O Dardha","year":"2017","unstructured":"Dardha, O., Giachino, E., Sangiorgi, D.: Session types revisited. Inf. Comput. 256, 253\u2013286 (2017)","journal-title":"Inf. Comput."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T.A., Jobstmann, B., Petrov, T.: Interface theories with component reuse. In: EMSOFT, pp. 79\u201388. ACM (2008)","DOI":"10.1145\/1450058.1450070"},{"issue":"4","key":"10_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/s00236-018-0319-8","volume":"56","author":"Sascha Fendrich","year":"2018","unstructured":"Fendrich, S., L\u00fcttgen, G.: A generalised theory of interface automata, component compatibility and error. Acta Inf. (2018). https:\/\/doi.org\/10.1007\/s00236-018-0319-8","journal-title":"Acta Informatica"},{"issue":"5","key":"10_CR15","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF01211911","volume":"8","author":"S Graf","year":"1996","unstructured":"Graf, S., Steffen, B., L\u00fcttgen, G.: Compositional minimisation of finite state systems using interface specifications. Formal Asp. Comput. 8(5), 607\u2013616 (1996)","journal-title":"Formal Asp. Comput."},{"issue":"3","key":"10_CR16","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/2187671.2187678","volume":"44","author":"J Hatcliff","year":"2012","unstructured":"Hatcliff, J., Leavens, G.T., Leino, K.R.M., M\u00fcller, P., Parkinson, M.: Behavioral interface specification languages. ACM Comput. Surv. 44(3), 16:1\u201316:58 (2012)","journal-title":"ACM Comput. Surv."},{"key":"10_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/978-3-319-23506-6_16","volume-title":"Correct System Design","author":"L Hol\u00edk","year":"2015","unstructured":"Hol\u00edk, L., Isberner, M., Jonsson, B.: Mediator synthesis in a component algebra with data. In: Meyer, R., Platzer, A., Wehrheim, H. (eds.) Correct System Design. LNCS, vol. 9360, pp. 238\u2013259. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23506-6_16"},{"issue":"1","key":"10_CR18","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"K Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. SIGPLAN Not. 43(1), 273\u2013284 (2008)","journal-title":"SIGPLAN Not."},{"key":"10_CR19","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: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 64\u201379. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71316-6_6"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"L\u00fcttgen, G., Vogler, W.: Modal interface automata. LMCS 9(3:4) (2013)","DOI":"10.2168\/LMCS-9(3:4)2013"},{"key":"10_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/11539452_41","volume-title":"CONCUR 2005 \u2013 Concurrency Theory","author":"T Margaria","year":"2005","unstructured":"Margaria, T., Sistla, A.P., Steffen, B., Zuck, L.D.: Taming interface specifications. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653, pp. 548\u2013561. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11539452_41"},{"issue":"10","key":"10_CR22","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Comput. 25(10), 40\u201351 (1992)","journal-title":"IEEE Comput."},{"key":"10_CR23","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Upper Saddle River (1989)"},{"issue":"1","key":"10_CR24","first-page":"111","volume":"253","author":"S Mouelhi","year":"2009","unstructured":"Mouelhi, S., Chouali, S., Mountassir, H.: Refinement of interface automata strengthened by action semantics. ENTCS 253(1), 111\u2013126 (2009)","journal-title":"ENTCS"},{"issue":"1\u20132","key":"10_CR25","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."},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"346","DOI":"10.1007\/3-540-54415-1_54","volume-title":"Theoretical Aspects of Computer Software","author":"B Steffen","year":"1991","unstructured":"Steffen, B.: Data flow analysis as model checking. In: Ito, T., Meyer, A.R. (eds.) TACS 1991. LNCS, vol. 526, pp. 346\u2013364. Springer, Heidelberg (1991). https:\/\/doi.org\/10.1007\/3-540-54415-1_54"},{"key":"10_CR27","unstructured":"Steffen, B., Howar, F., Isberner, M.: Active automata learning: from DFAs to interface programs and beyond. In: ICGI. JMLR, vol. 21, pp. 195\u2013209 (2012). JMLR.org"}],"container-title":["Lecture Notes in Computer Science","Models, Mindsets, Meta: The What, the How, and the Why Not?"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-22348-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,7]],"date-time":"2021-01-07T21:41:31Z","timestamp":1610055691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-22348-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030223472","9783030223489"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-22348-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"26 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}