Algorithms for signal and message asynchronous communication mechanisms and their analysis

  1. Lookup NU author(s)
  2. Dr Fei Xia
  3. Dr Ian Clark
Author(s)Xia F; Clark I
Publication type Conference Proceedings (inc. Abstract)
Conference NameProceedings Second International Conference on Application of Concurrency to System Design
Conference LocationNewcastle upon Tyne, UK
Year of Conference2001
Legacy Date25-29 June 2001
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).
PublisherIEEE Computer Society Press
NotesACSD 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.
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item