{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:39:18Z","timestamp":1725665958886},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,1]]},"DOI":"10.1109\/ccwc.2018.8301703","type":"proceedings-article","created":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T17:14:26Z","timestamp":1520270066000},"page":"803-809","source":"Crossref","is-referenced-by-count":7,"title":["Modeling and analysis of the disruptor framework in CSP"],"prefix":"10.1109","author":[{"given":"Yucheng","family":"Fang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huibiao","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Zeyda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Fei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"1985","author":"hoare","journal-title":"Communicating Sequential Processes","key":"ref10"},{"year":"1996","author":"parashkevov","journal-title":"ARC - a tool for efficient refinement and equivalence checking for CSP","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/3-540-16761-7_81"},{"key":"ref13","first-page":"353","author":"roscoe","year":"1994","journal-title":"Model-checking CSP"},{"year":"1997","author":"roscoe","journal-title":"The Theory and Practice of Concurrency","key":"ref14"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1007\/978-1-84882-258-0"},{"year":"2011","author":"schildt","journal-title":"Java 2 The Complete Reference","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1007\/978-3-540-88479-8_22"},{"year":"0","author":"thompson","journal-title":"DISRUP-TOR High performance alternative to bounded queues for exchanging data between concurrent threads","key":"ref18"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/12.391185"},{"year":"1988","author":"coulouris","journal-title":"Distributed Systems-Concepts and Design","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/s11241-013-9182-4"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/11430230_23"},{"year":"0","author":"fang","journal-title":"FDR code for modeling and analysis of the disruptor framework in CSP","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/s10009-015-0377-y"},{"year":"0","author":"fowler","journal-title":"The Imax architecture","key":"ref7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/32.345823"},{"year":"2008","author":"baier","journal-title":"Principles of Model Checking","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/52.976937"},{"key":"ref20","first-page":"64","article-title":"Implementing lock-free queues","author":"valois","year":"1994","journal-title":"Proceedings of the Seventh International Conference on Parallel and Distributed Computing Systems"}],"event":{"name":"2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC)","start":{"date-parts":[[2018,1,8]]},"location":"Las Vegas, NV","end":{"date-parts":[[2018,1,10]]}},"container-title":["2018 IEEE 8th Annual Computing and Communication Workshop and Conference (CCWC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8293728\/8301613\/08301703.pdf?arnumber=8301703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,2]],"date-time":"2018-04-02T16:45:48Z","timestamp":1522687548000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8301703\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/ccwc.2018.8301703","relation":{},"subject":[],"published":{"date-parts":[[2018,1]]}}}