Baolin Shao

According to our database, Baolin Shao authored at least 1 paper in 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2009

Compositional deadlock detection for rendezvous communication.

Baolin Shao, Nalini Vasudevan, Stephen A. Edwards

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009