{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:38:27Z","timestamp":1742402307710,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2004.1309114","type":"proceedings-article","created":{"date-parts":[[2004,11,13]],"date-time":"2004-11-13T00:14:14Z","timestamp":1100304854000},"page":"36-44","source":"Crossref","is-referenced-by-count":1,"title":["Buffered asynchronous communication mechanisms"],"prefix":"10.1109","author":[{"family":"Fei Xia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Fei Hao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Yakovlev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.G.","family":"Chester","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1049\/ip-cdt:20030419","article-title":"Protocols for process interaction","volume":"150","author":"simpson","year":"2003","journal-title":"IEE Proceedings on Computers and Digital Techniques"},{"journal-title":"Supporting the MASCOT Method with Petri Net Techniques for Real-time Systems Development","year":"2000","author":"xia","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2003.1199163"},{"journal-title":"A Unified Approach to the Study of Asynchronous Communication Mechanisms in Real Time Systems","year":"2000","author":"clark","key":"7"},{"key":"6","first-page":"205","article-title":"Algorithms for signal and message asynchronous communication mechanisms and their analysis","volume":"50","author":"xia","year":"2002","journal-title":"Fundamenta Informaticae"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1134344"},{"journal-title":"THINK Vers une architecture de syste?mes flexibles","year":"2001","author":"fassino","key":"9"},{"key":"8","first-page":"11","article-title":"A FIFO buffer with non-blocking interface","author":"yakovlev","year":"1998","journal-title":"Computer Society TCVLSI Tech Bull"},{"key":"11","article-title":"ACM model in control systems","author":"hao","year":"2003","journal-title":"Project Coherent Workshop"}],"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\/01309114.pdf?arnumber=1309114","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\/1309114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/csd.2004.1309114","relation":{},"subject":[]}}