Buffered Asynchronous Communication Mechanisms

Issue title: APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD'04)

Article type: Research Article

Authors: Xia, Fei | Hao, Fei | Clark, Ian | Yakovlev, Alex | Chester, E. Graeme

Affiliations: School of Electrical, Electronic and Computer Engineering, Univ. of Newcastle upon Tyne, UK, Kingston University, Kingston-upon-Thames, KT1 2EE, UK. E-mail: {Fei.Xia; Fei.Hao; I.G.Clark; Alex.Yakovlev; Graeme.Chester}@ncl.ac.uk

Abstract: 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.

Journal: Fundamenta Informaticae, vol. 70, no. 1-2, pp. 155-170, 2006