{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T21:39:29Z","timestamp":1791236369172,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540372158","type":"print"},{"value":"9783540372165","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11813040_7","type":"book-chapter","created":{"date-parts":[[2006,8,7]],"date-time":"2006-08-07T10:51:03Z","timestamp":1154947863000},"page":"82-97","source":"Crossref","is-referenced-by-count":28,"title":["Interface Input\/Output Automata"],"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":"7_CR1","volume-title":"POPL 2001","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. In: POPL 2001, ACM Press, New York (2001)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45657-0_13","volume-title":"Computer Aided Verification","author":"S.K. Rajamani","year":"2002","unstructured":"Rajamani, S.K., Rehof, J.: Conformance checking for models of asynchronous message passing software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, pp. 166\u2013179. Springer, Heidelberg (2002)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Xiong, Y.: A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing Journal (special issue on Semantic Foundations of Engineering Design Languages) (2004)","DOI":"10.1007\/s00165-004-0043-8"},{"key":"7_CR4","unstructured":"Lee, E.A., Zheng, H., Zhou, Y.: Causality interfaces and compositional causality analysis. In: [22]"},{"key":"7_CR5","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":"7_CR6","volume-title":"In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School","author":"L. Alfaro","year":"2004","unstructured":"Alfaro, L., Henzinger, T.A.: Interface-based design. In: In Engineering Theories of Software Intensive Systems, proceedings of the Marktoberdorf Summer School. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"7_CR8","series-title":"International Series in Computer Science","volume-title":"Communicating Sequential Processes","author":"C. Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-36576-1_22","volume-title":"Foundations of Software Science and Computational Structures","author":"P. Maier","year":"2003","unstructured":"Maier, P.: Compositional circular assume-guarantee rules cannot be sound and complete. In: Gordon, A.D. (ed.) ETAPS 2003 and FOSSACS 2003. LNCS, vol.\u00a02620, pp. 343\u2013357. Springer, Heidelberg (2003)"},{"key":"7_CR10","first-page":"203","volume-title":"LICS","author":"K.G. Larsen","year":"1988","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, pp. 203\u2013210. IEEE Computer Society, Los Alamitos (1988)"},{"key":"7_CR11","volume-title":"Introduction to Automata Theory, Languages and Computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addison-Wesley, Reading (2001)","edition":"2"},{"key":"7_CR12","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., Henzinger, T.A., Kupferman, O., Vardi, M.: Alternating refinement relations. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol.\u00a01466, pp. 163\u2013178. Springer, Heidelberg (1998)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","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, pp. 108\u2013122. Springer, Heidelberg (2002)"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-45212-6_9","volume-title":"Embedded Software","author":"A. Chakabarti","year":"2003","unstructured":"Chakabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.I.A.: Resource interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol.\u00a02855, pp. 117\u2013133. Springer, Heidelberg (2003)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Lynch, N.: I\/O automata: A model for discrete event systems. In: Annual Conference on Information Sciences and Systems, Princeton University, Princeton, N.J, pp. 29\u201338 (1988)","DOI":"10.21236\/ADA196047"},{"key":"7_CR16","unstructured":"Larsen, K.G.: Context Dependent Bisimulation Between Processes. PhD thesis, Edinburgh University (1986)"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/0304-3975(87)90007-7","volume":"49","author":"K.G. Larsen","year":"1987","unstructured":"Larsen, K.G.: A context dependent equivalence between processes. Theoretical Computer Science\u00a049, 184\u2013215 (1987)","journal-title":"Theoretical Computer Science"},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/0890-5401(92)90025-B","volume":"99","author":"K.G. Larsen","year":"1992","unstructured":"Larsen, K.G., Milner, R.: A compositional protocol verification using relativized bisimulation. Information and Computation\u00a099, 80\u2013108 (1992)","journal-title":"Information and Computation"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"K.G. Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Xinxin, L.: Equation solving using modal transition systems. In: Fifth Annual IEEE Symposium on Logics in Computer Science (LICS), Philadelphia, PA, USA, June 4\u20137, pp. 108\u2013117 (1990)","DOI":"10.1109\/LICS.1990.113738"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Interface input\/output automata: Splitting assumptions from guarantees. In: [22]","DOI":"10.1007\/11813040_7"},{"key":"7_CR22","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)"}],"container-title":["Lecture Notes in Computer Science","FM 2006: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11813040_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:14:28Z","timestamp":1605644068000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11813040_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540372158","9783540372165"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11813040_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}