{"publication":"Proceedings of the 1st International Workshop on Embedded Software","citation":{"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.","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.","short":"L. De Alfaro, T.A. Henzinger, in:, Proceedings of the 1st International Workshop on Embedded Software, ACM, 2001, pp. 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>.","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>","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>"},"abstract":[{"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.","lang":"eng"}],"year":"2001","status":"public","doi":"10.1007/3-540-45449-7_11","day":"26","date_updated":"2023-05-08T12:11:20Z","publication_identifier":{"isbn":["9783540426738"]},"page":"148 - 165","intvolume":"      2211","volume":2211,"article_processing_charge":"No","publication_status":"published","_id":"4623","oa_version":"None","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.","title":"Interface theories for component-based design","date_created":"2018-12-11T12:09:48Z","date_published":"2001-09-26T00:00:00Z","quality_controlled":"1","conference":{"name":"EMSOFT: Embedded Software ","start_date":"2001-10-08","end_date":"2001-10-10","location":"Tahoe City, CA, USA"},"extern":"1","publist_id":"84","type":"conference","publisher":"ACM","scopus_import":"1","language":[{"iso":"eng"}],"alternative_title":["LNCS"],"author":[{"full_name":"De Alfaro, Luca","first_name":"Luca","last_name":"De Alfaro"},{"first_name":"Thomas A","full_name":"Henzinger, Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724","last_name":"Henzinger"}],"user_id":"ea97e931-d5af-11eb-85d4-e6957dddbf17","month":"09"}