This paper presents new algorithms for the Signal and Message asynchronous data communication mechanisms (ACMs) and their modelling and analysis using Petri net techniques.
Citation:
Fei Xia, Ian Clark, "Algorithms for Signal and Message Asynchronous Communication Mechanisms and Their Analysis," acsd, pp.65, Second International Conference on Application of Concurrency to System Design (ACSD'01), 2001