Lookup NU author(s): Dr Fei Xia,
Dr Ian Clark,
Professor Alex Yakovlev,
Dr Graeme Chester
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
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.
Author(s): Xia F, Hao F, Clark I, Yakovlev A, Chester EG
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 4th International Conference on Application of Concurrency to System Design
Year of Conference: 2006
Publisher: Fundamenta Informaticae, IOS Press
Library holdings: Search Newcastle University Library for this item