{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,10]],"date-time":"2026-11-10T21:49:28Z","timestamp":1794347368160,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540713142","type":"print"},{"value":"9783540713166","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71316-6_6","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:58:28Z","timestamp":1184590708000},"page":"64-79","source":"Crossref","is-referenced-by-count":126,"title":["Modal I\/O Automata for Interface and Product Line Theories"],"prefix":"10.1007","author":[{"given":"Kim G.","family":"Larsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"6_CR1","first-page":"109","volume-title":"Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE)","author":"L. Alfaro","year":"2001","unstructured":"Alfaro, L., Henzinger, T.A.: Interface automata. In: Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering (FSE), Vienna, Austria, pp. 109\u2013120. ACM Press, New York (2001)"},{"key":"6_CR2","volume-title":"LICS","author":"K.G. Larsen","year":"1988","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, IEEE Computer Society Press, Los Alamitos (1988)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Embedded Software","author":"A. Chakabarti","year":"2003","unstructured":"Chakabarti, A., et al.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, Springer, Heidelberg (2003)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_9","volume-title":"Embedded Software","author":"L. Alfaro","year":"2002","unstructured":"Alfaro, L., Henzinger, T., Stoelinga, M.I.A.: Timed interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol.\u00a02491, Springer, Heidelberg (2002)"},{"key":"6_CR5","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.: 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_CR6","unstructured":"\u010cern\u00e1, I., Va\u0159ekov\u00e1, P., Zimmerov\u00e1, B.: Component substitutability via equivalencies of component-interaction automata. In: FACS\u201906, pp. 115\u2013130. To be published in ENTCS (2006)"},{"key":"6_CR7","series-title":"ENTCS","volume-title":"Workshop Procedings FIT 2005: Foundations of Interface Technologies","year":"2005","unstructured":"Hermanns, H., Rehof, J., Stoelinga, M.I.A. (eds.): Workshop Procedings FIT 2005: Foundations of Interface Technologies. ENTCS. Elsevier Science Publishers, Amsterdam (2005)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR \u201998 Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"Alur, R., et al.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"6_CR9","volume-title":"Engineering Theories of Software Intensive Systems, Marktoberdorf Summer School","author":"L. Alfaro","year":"2004","unstructured":"Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering Theories of Software Intensive Systems, Marktoberdorf Summer School, Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Carrez, C., Fantechi, A., Najm, E.: Assembling components with behavioral contracts. Annales del T\u00e9l\u00e9communications\u00a060(7\u20138) (2005)","DOI":"10.1007\/BF03219957"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.1976.233797","volume":"2","author":"D.L. Parnas","year":"1976","unstructured":"Parnas, D.L.: On the design and development of program families. IEEE Transactions on Software Engineering\u00a02, 1\u20139 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"6_CR12","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)"},{"key":"6_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product Line Engineering\u2014Foundations, Principles, and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering\u2014Foundations, Principles, and Techniques. Springer, Heidelberg (2005)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/978-3-540-31984-9_13","volume-title":"Fundamental Approaches to Software Engineering","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Larsen, U., Wasowski, A.: Color-Blind Specifications for Transformations of Reactive Synchronous Programs. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 160\u2013174. Springer, Heidelberg (2005)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/3-540-52590-4_40","volume-title":"CAAP \u201990","author":"G. Boudol","year":"1990","unstructured":"Boudol, G., Larsen, K.G.: Graphical versus logical specifications. In: Arnold, A. (ed.) CAAP 1990. LNCS, vol.\u00a0431, pp. 57\u201371. Springer, Heidelberg (1990)"},{"key":"6_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Modal specifications. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1990)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71316-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T07:57:12Z","timestamp":1629359832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71316-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540713142","9783540713166"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6_6","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-540-71316-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}