Sciweavers

Share
ACSD
2008
IEEE
114views Hardware» more  ACSD 2008»
8 years 10 months ago
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
Kyller Costa Gorgônio, Fei Xia
books