Title :
Algorithms for signal and message asynchronous communication mechanisms and their analysis
Author :
Xia, Fei ; Clark, Ian
Author_Institution :
Dept. of Comput. Sci., Newcastle upon Tyne Univ., UK
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
Keywords :
Petri nets; communicating sequential processes; Petri net; asynchronous data communication mechanisms; communicating processes; heterogeneously timed systems; Algorithm design and analysis; Asynchronous communication; Computer interfaces; Data communication; Data engineering; Educational institutions; Maintenance engineering; Protocols; Signal analysis; Writing;
Conference_Titel :
Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Newcastle upon Tyne
Print_ISBN :
0-7695-1071-X
DOI :
10.1109/CSD.2001.981765
