{"volume":2211,"oa_version":"None","year":"2001","type":"conference","status":"public","_id":"4623","user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","date_updated":"2023-05-08T12:11:20Z","citation":{"ama":"De Alfaro L, Henzinger TA. Interface theories for component-based design. In: <i>Proceedings of the 1st International Workshop on Embedded Software</i>. Vol 2211. ACM; 2001:148-165. doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_11\">10.1007/3-540-45449-7_11</a>","short":"L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 148–165.","ista":"De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. Proceedings of the 1st International Workshop on Embedded Software. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165.","chicago":"De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.” In <i>Proceedings of the 1st International Workshop on Embedded Software</i>, 2211:148–65. ACM, 2001. <a href=\"https://doi.org/10.1007/3-540-45449-7_11\">https://doi.org/10.1007/3-540-45449-7_11</a>.","ieee":"L. De Alfaro and T. A. Henzinger, “Interface theories for component-based design,” in <i>Proceedings of the 1st International Workshop on Embedded Software</i>, Tahoe City, CA, USA, 2001, vol. 2211, pp. 148–165.","mla":"De Alfaro, Luca, and Thomas A. Henzinger. “Interface Theories for Component-Based Design.” <i>Proceedings of the 1st International Workshop on Embedded Software</i>, vol. 2211, ACM, 2001, pp. 148–65, doi:<a href=\"https://doi.org/10.1007/3-540-45449-7_11\">10.1007/3-540-45449-7_11</a>.","apa":"De Alfaro, L., &#38; Henzinger, T. A. (2001). Interface theories for component-based design. In <i>Proceedings of the 1st International Workshop on Embedded Software</i> (Vol. 2211, pp. 148–165). Tahoe City, CA, USA: ACM. <a href=\"https://doi.org/10.1007/3-540-45449-7_11\">https://doi.org/10.1007/3-540-45449-7_11</a>"},"title":"Interface theories for component-based design","conference":{"name":"EMSOFT: Embedded Software ","location":"Tahoe City, CA, USA","end_date":"2001-10-10","start_date":"2001-10-08"},"language":[{"iso":"eng"}],"date_created":"2018-12-11T12:09:48Z","doi":"10.1007/3-540-45449-7_11","publication_status":"published","day":"26","date_published":"2001-09-26T00:00:00Z","page":"148 - 165","month":"09","publication_identifier":{"isbn":["9783540426738"]},"author":[{"full_name":"De Alfaro, Luca","last_name":"De Alfaro","first_name":"Luca"},{"orcid":"0000−0002−2985−7724","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A"}],"publisher":"ACM","publist_id":"84","article_processing_charge":"No","acknowledgement":"This research was supported in part by the AFOSR MURI grant F49620-00-1-0327, the DARPA ITO grant F33615-00-C-1693, the MARCO grant 98-DT-660, and the NSF ITR grant CCR-0085949.","alternative_title":["LNCS"],"intvolume":"      2211","publication":"Proceedings of the 1st International Workshop on Embedded Software","quality_controlled":"1","scopus_import":"1","abstract":[{"lang":"eng","text":"We classify component-based models of computation into component models and interface models. A component model specifies for each component howthe component behaves in an arbitrary environment; an interface model specifies for each component what the component expects from the environment. Component models support compositional abstraction, and therefore component-based verification. Interface models support compositional refinement, and therefore componentbased design. Many aspects of interface models, such as compatibility and refinement checking between interfaces, are properly viewed in a gametheoretic setting, where the input and output values of an interface are chosen by different players."}],"extern":"1"}