Algorithms for signal and message asynchronous communication mechanisms and their analysis
- Lookup NU author(s)
- Dr Fei Xia
- Dr Ian Clark
|
|
|
|
| Author(s) | | Xia F; Clark I |
| Editor(s) | | |
| Publication type | | Conference Proceedings (inc. Abstract) |
| Conference Name | | Proceedings Second International Conference on Application of Concurrency to System Design |
| Conference Location | | Newcastle upon Tyne, UK |
| Year of Conference | | 2001 |
| Date | | 25-29 June 2001 |
| Volume | | |
| Pages | | 65-74 |
| ISBN | | 076951071X |
| |  |
|
|
|
| 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). |
|
|
|
| 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.
|
| Actions | |  |
| Library holdings | | Search Newcastle University Library for this item |
