Conference
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)
| Title: | Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract) |
|---|---|
| Authors: | Wang, Yin, Liao, Hongwei, Nazeem, Ahmed, Reveliotis, Spyros, Kelly, Terence, Mahlke, Scott, Lafortune, Stephane |
| Source: | 2009 IEEE International Conference on Automation Science and Engineering Automation Science and Engineering, 2009. CASE 2009. IEEE International Conference on. :37-41 Aug, 2009 |
| Relation: | 2009 IEEE International Conference on Automation Science and Engineering (CASE 2009) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9781424445783 9781424445790 |
|---|---|
| ISSN: | 21618070 21618089 |
| DOI: | 10.1109/COASE.2009.5234118 |