{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:05:43Z","timestamp":1729663543227,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/ccece.2009.5090240","type":"proceedings-article","created":{"date-parts":[[2009,6,28]],"date-time":"2009-06-28T22:25:58Z","timestamp":1246227958000},"page":"810-814","source":"Crossref","is-referenced-by-count":0,"title":["A grainless semantics for the HARPO\/L language"],"prefix":"10.1109","author":[{"given":"Theodore S.","family":"Norvell","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.034"},{"key":"2","article-title":"harpo\/l: a language for hardware\/software codesign","author":"norvell","year":"2008","journal-title":"Newfoundland Electrical and Computer Engineering Conference (NECEC)"},{"key":"1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/978-3-540-30538-5_4","article-title":"towards a grainless semantics for shared-variable concurrency","volume":"3328","author":"reynolds","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"5","first-page":"1","article-title":"rationale for the design of the ada programming language","volume":"14","author":"ichbiah","year":"1979","journal-title":"SIGPLAN"},{"year":"0","key":"4"}],"event":{"name":"2009 Canadian Conference on Electrical and Computer Engineering (CCECE)","start":{"date-parts":[[2009,5,3]]},"location":"St. John's, NL, Canada","end":{"date-parts":[[2009,5,6]]}},"container-title":["2009 Canadian Conference on Electrical and Computer Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5075165\/5090078\/05090240.pdf?arnumber=5090240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:23:41Z","timestamp":1497806621000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090240\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/ccece.2009.5090240","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}