ePrints

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. (12 References).

Publication metadata

Author(s): Xia F; Clark I

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings Second International Conference on Application of Concurrency to System Design

Year of Conference: 2001

Pages: 65-74

Publisher: IEEE Computer Society Press

URL: http://dx.doi.org/10.1109/CSD.2001.981765

DOI: 10.1109/CSD.2001.981765

Notes: ACSD 2001. Newcastle upon Tyne, UK. IEEE Circuits & Syst. Soc. IEEE Circuits & Syst. UKRI Chapter. Univ. Newcastle Dept. of Comput. Sci. ONE North East. Eur. Commission (Working Group on Asynchronous Circuit Deisng). Inst. Electr. Emg. British Comput. Soc. Formal Methods Eur.

Library holdings: Search Newcastle University Library for this item

ISBN: 076951071X

Share