Compositional deadlock detection for rendezvous communication.
| Autor: | Shao, Baolin, Vasudevan, Nalini, Edwards, Stephen A. |
|---|---|
| Zdroj: | Proceedings of the Seventh ACM International Conference: Embedded Software; 10/12/2009, p59-66, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|