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,
p. 65,
Second International Conference on Application of Concurrency to System Design (ACSD'01),
2001