Lookup NU author(s): Dr Fei Xia,
Dr Ian Clark
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
This paper presents new algorithms for the Signal and Message asynchronous data communication mechanisms (ACMs) and their modelling and analysis using Petri net techniques. This work extends the general knowledge of ACMs, the confidence of designing systems around them and the scope of their potential applications by standard Petri net techniques to model and analyse important properties of the new algorithms. The new algorithms and their proof also demonstrate that implementations of all types of ACMs can be found, and data communication within heterogeneously timed systems can span the full spectrum of asynchrony between processes.
Author(s): Xia F; Clark I
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Fundamenta Informaticae: 2nd International Conference on Application of Concurrency to System Design (ACSD)
Year of Conference: 2002
Publisher: IOS Press
Library holdings: Search Newcastle University Library for this item