Toggle Main Menu Toggle Search

Open Access padlockePrints

Algorithms for Signal and Message asynchronous communication mechanisms and their analysis

Lookup NU author(s): Dr Fei Xia, Dr Ian Clark

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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

Pages: 205-222

ISSN: 0169-2968

Publisher: IOS Press

Library holdings: Search Newcastle University Library for this item

ISBN: 18758681


Actions

Find at Newcastle University icon    Link to this publication


Share