Fei Xia, Univ. of Newcastle upon Tyne, UK
Fei Hao, Univ. of Newcastle upon Tyne, UK
Previous work on asynchronous communication mechanisms (ACMs) has not dealt with buffered forms (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.
Citation:
Fei Xia, Fei Hao, Ian Clark, Alex Yakovlev, E. Graeme Chester, "Buffered Asynchronous Communication Mechanisms," acsd, pp.36, Fourth International Conference on Application of Concurrency to System Design (ACSD'04), 2004