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. (12 References).
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
Publisher: IEEE Computer Society Press
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