{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:33:03Z","timestamp":1725417183458},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/cw.2012.38","type":"proceedings-article","created":{"date-parts":[[2012,10,26]],"date-time":"2012-10-26T17:48:04Z","timestamp":1351273684000},"page":"221-225","source":"Crossref","is-referenced-by-count":0,"title":["A Design and Implementation Method for Embedded Systems Using Communicating Sequential Processes with an Event-Driven and Multi-Thread Processor"],"prefix":"10.1109","author":[{"given":"Ryo","family":"Mizutani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Ohmori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Communicating Sequential Processes","year":"1978","author":"hoare","key":"3"},{"key":"2","article-title":"Parallel Processing","author":"tai","year":"1994","journal-title":"Definitions and Detection of Deadlock Livelock and Starvation in Concurrent Programs"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2009.20"},{"journal-title":"occam Programming Manual","year":"1984","key":"7"},{"journal-title":"Enabling Intelligent Unmanned Vehicles Through XMOS Technology","year":"2011","author":"martins","key":"6"},{"journal-title":"Programming XC on XMOS Devices","year":"0","author":"watt","key":"5"},{"journal-title":"Concurrent and Real-Time System The CSP Approach","year":"0","author":"schneider","key":"4"},{"journal-title":"Encyclopedia of Comuputer Science and Technology","year":"1998","author":"kent","key":"8"}],"event":{"name":"2012 International Conference on Cyberworlds (CW)","start":{"date-parts":[[2012,9,25]]},"location":"Darmstadt, Germany","end":{"date-parts":[[2012,9,27]]}},"container-title":["2012 International Conference on Cyberworlds"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/6336442\/6337397\/06337423.pdf?arnumber=6337423","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T21:54:56Z","timestamp":1490133296000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/6337423\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":8,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/cw.2012.38","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}