{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:49:40Z","timestamp":1742399380134,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201216","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"374-384","source":"Crossref","is-referenced-by-count":55,"title":["A compositional formalization of connector wrappers"],"prefix":"10.1109","author":[{"given":"B.","family":"Spitznagel","sequence":"first","affiliation":[]},{"given":"D.","family":"Garlan","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/211782.211783"},{"key":"17","article-title":"Simplex architecture: Meeting the challenges of using COTS in high-reliability systems","author":"sha","year":"1998","journal-title":"Crosstalk"},{"key":"18","article-title":"Procedure calls are the assembly language of system interconnection: Connectors deserve 1st-class status","author":"shaw","year":"0","journal-title":"Proceedings of the Workshop on Studies of Software Design May 1993"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941400"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.17487\/rfc0793","article-title":"Transmission control protocol","author":"postel","year":"1981"},{"key":"13","article-title":"Exploiting the internet inter-ORB protocol interface to provide CORBA with fault tolerance","author":"narasimhan","year":"0","journal-title":"Proceedings of the 3rd USENIX Conference on Object-Oriented Technologies and Systems (COOTS) USENIX 1997"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/128899.128901"},{"journal-title":"Concurrency State Models and Java Programs","year":"1999","author":"magree","key":"11"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"12"},{"article-title":"Building adaptive systems using ensemble","year":"1997","author":"van renesse","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DISCEX.2000.821530"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2001.948424"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/303008.303023"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/258077.258078"},{"journal-title":"Software Fault Tolerance","year":"1995","author":"lyu","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/217838.217875"},{"journal-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"6"},{"key":"5","doi-asserted-by":"crossref","DOI":"10.21236\/ADA258467","article-title":"A conceptual framework for system fault tolerance","author":"heimerdinger","year":"1992"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225031"},{"key":"9","first-page":"201","article-title":"A compositional approach to connector construction","volume":"lncs 2267","author":"lopes","year":"2001","journal-title":"Recent Trends in Algebraic Development Techniques"},{"key":"8","first-page":"135","article-title":"Detours: Binary interception of win32 functions","author":"hunt","year":"1999","journal-title":"Proceedings of the 3rd USENIX Windows NT Symposium"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","start":{"date-parts":[[2003,5,10]]},"location":"Portland, OR, USA","end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201216.pdf?arnumber=1201216","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,6,3]],"date-time":"2018-06-03T23:33:01Z","timestamp":1528068781000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201216\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201216","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}