{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,26]],"date-time":"2026-10-26T17:45:42Z","timestamp":1793036742397,"version":"4.5.0"},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309115","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"47-56","source":"Crossref","is-referenced-by-count":4,"title":["A behavioral type inference system for compositional system-on-chip design"],"prefix":"10.1109","author":[{"given":"J.-P.","family":"Talpin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Berner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A.","family":"Gamatiie","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1119772.1119796"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45449-7_11","article-title":"Interface theories for component-based design","author":"de alfaro","year":"2001","journal-title":"2nd Int Workshop Embedded Software"},{"key":"7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-47764-0_22","article-title":"A behavioral module system for the 7r-calculus","author":"rajamani","year":"2001","journal-title":"Static Analysis Symposium"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055348"},{"key":"5","author":"novillo","year":"2003","journal-title":"Tree SSA A New Optimization Infrastructure for GCC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309115"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2003.1207695"}],"event":{"name":"Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004.","location":"Hamilton, ON, Canada"},"container-title":["Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9149\/29052\/01309115.pdf?arnumber=1309115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T11:51:49Z","timestamp":1497613909000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1309115\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309115","relation":{},"subject":[]}}