{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T05:29:47Z","timestamp":1734586187353,"version":"3.30.2"},"reference-count":18,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3589,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s1571-0661(04)80762-x","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"1-20","source":"Crossref","is-referenced-by-count":12,"special_numbering":"C","title":["Semantic Domains for Handel-C"],"prefix":"10.1016","volume":"74","author":[{"given":"Andrew","family":"Butterfield","sequence":"first","affiliation":[]},{"given":"Jim","family":"Woodcock","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB1","series-title":"Towards Systems","first-page":"193","article-title":"Hardware compilation","author":"Bowen","year":"1994"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB2","unstructured":"Butterfield A. and J. Woodcock, semantics for a cuncurrent language of refinement, in: Communicating Process Architectures - 2002, Concurrent Systems Engineering (2002), pp. 1\u201316."},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB3","unstructured":"Cavalcanti, A. and J. Woodcock, A predicate transformer semantics for a concurrent language of refinement, in: Communicating Process Architectures - 2002, Concurrent Systems Engineering (2002), pp. 157-176."},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB4","unstructured":"Celoxica Ltd., \u201cHandel-C Language Reference Manual, v3.0,\u201d (2002)."},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB5","series-title":"Intl. Series in Computer Science","article-title":"\u201cCommunicating Sequential Processes\u201d","author":"Hoare","year":"1990"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB6","series-title":"Series in Computer Science","article-title":"\u201cUnifying Theories of Programming,\u201d","author":"Hoare","year":"1998"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB7","doi-asserted-by":"crossref","unstructured":"Lawrence, A., A. Kay, W. Luk, T. Nomura and I. Page, Using reconfigurable hardware to speed up product development and performance, in: W. Moore and W. Luk, editors, Field-Programmable Logic and Applications(1995), pp. 111\u2013119, proceedings of the 5th International Workshop on Field-Programmable Logic and Applications, FPL 1995. Lecture Notes in Computer Science 975.","DOI":"10.1007\/3-540-60294-1_104"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB8","series-title":"Communicating Process Architectures 2001, Concurrent Systems Engineering","first-page":"67","article-title":"CSPP and event priority","author":"Lawrence","year":"2001"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB9","series-title":"Communicating Process Architectures 2001, Concurrent Systems Engineering","first-page":"49","article-title":"successes and failures: Extending CSP","author":"Lawrence","year":"2001"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB10","series-title":"Communicating Process Architectures - 2002, Concurrent Systems Engineering","first-page":"17","article-title":"Acceptances, Behaviours and infinite activity in CSPP","author":"Lawrence","year":"2002"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB11","series-title":"Communicating Process Architectures - 2002, Concurrent Systems Engineering","first-page":"39","article-title":"HCSP and true concurrency","author":"Lawrence","year":"2002"},{"year":"1999","series-title":"\u201cCommunicating and mobile systems: the \u03c0-calculus\u201d","author":"Milner","key":"10.1016\/S1571-0661(04)80762-X_NEWBIB12"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB13","series-title":"FPGAs, Oxford Workshop on Field Programmable logic and Applications","first-page":"271","article-title":"Compiling Occam into field-programmable gate arrays","author":"Page","year":"1991"},{"year":"1997","series-title":"\u201cThe Theory and Practice of Concurrency,\u201d international series in computer science","author":"Roscoe","key":"10.1016\/S1571-0661(04)80762-X_NEWBIB14"},{"year":"1999","series-title":"\u201cConcurrent and Real-time systems: The CSP Approach,\u201d","author":"Schneider","key":"10.1016\/S1571-0661(04)80762-X_NEWBIB15"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Sherif A. and J. He, Towards a Time Model for circus, UNU\/IIST Report No. 257, The Uniteed Nationas University, International Instiute for Software Technology (2002).","DOI":"10.1007\/3-540-36103-0_62"},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB17","unstructured":"Spivey M. and I. Page, How to design hardware with Handel, Technical report, Oxford University Hardware Compilation Group (1993)."},{"key":"10.1016\/S1571-0661(04)80762-X_NEWBIB18","doi-asserted-by":"crossref","unstructured":"Woodcock J. and A. Cavalcanti, The Semantics of Circus, LNCS 2272, 2nd Interntional Conference of B and Z Users, Grenoble, France (2002).","DOI":"10.1007\/3-540-45648-1_10"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480762X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S157106610480762X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T20:05:47Z","timestamp":1734552347000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S157106610480762X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":18,"alternative-id":["S157106610480762X"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80762-x","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}