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 (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: Fourth International Conference on Application of Concurrency to System Design (ACSD)
Year of Conference: 2004
Library holdings: Search Newcastle University Library for this item