Buffered asynchronous communication mechanisms
Fei Xia, Fei Hao, Ian G. Clark, Alex Yakovlev, E.G. Chester · Fundamenta Informaticae · 2006
Previous work on asynchronous communication mechanisms (ACMs) has not dealt with buffered forms (with the number of data cells n>1). This paper describes a systematic design/synthesis process for ACMs with arbitrary buffer size, a series of resulting buffered ACM algorithms, and the modelling and simulation of these ACMs using Matlab, putting ACMs (esp. buffered ones) in the context of complex engineering systems.