acm sigbed
|
emsoft
|
participants
Nalini Vasudevan
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Compositional Deadlock Detection for Rendezvous Communication
Baolin Shao
,
Nalini Vasudevan
, and
Stephen A. Edwards
10.1145/1629335.1629344
http://www1.cs.columbia.edu/~sedwards/papers/shao2009compositional.pdf