{"type":"conference","date_created":"2018-12-11T12:09:48Z","publist_id":"84","_id":"4623","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"}],"intvolume":"      2211","publisher":"ACM","alternative_title":["LNCS"],"conference":{"name":"EMSOFT: Embedded Software "},"month":"09","page":"148 - 165","status":"public","publication_status":"published","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.","doi":"10.1007/3-540-45449-7_11","day":"26","volume":2211,"date_published":"2001-09-26T00:00:00Z","author":[{"first_name":"Luca","full_name":"de Alfaro, Luca","last_name":"De Alfaro"},{"orcid":"0000−0002−2985−7724","full_name":"Thomas Henzinger","first_name":"Thomas A","last_name":"Henzinger","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"citation":{"chicago":"De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design,” 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,” presented at the EMSOFT: Embedded Software , 2001, vol. 2211, pp. 148–165.","apa":"De Alfaro, L., &#38; Henzinger, T. A. (2001). Interface theories for component-based design (Vol. 2211, pp. 148–165). Presented at the EMSOFT: Embedded Software , ACM. <a href=\"https://doi.org/10.1007/3-540-45449-7_11\">https://doi.org/10.1007/3-540-45449-7_11</a>","short":"L. De Alfaro, T.A. Henzinger, in:, ACM, 2001, pp. 148–165.","ama":"De Alfaro L, Henzinger TA. Interface theories for component-based design. In: 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. <i>Interface Theories for Component-Based Design</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>.","ista":"De Alfaro L, Henzinger TA. 2001. Interface theories for component-based design. EMSOFT: Embedded Software , LNCS, vol. 2211, 148–165."},"quality_controlled":0,"extern":1,"date_updated":"2021-01-12T08:00:36Z","title":"Interface theories for component-based design","year":"2001"}