A decision procedure for detecting atomicity violations for communicating processes with locks
| Title: | A decision procedure for detecting atomicity violations for communicating processes with locks |
|---|---|
| Authors: | Kidd, Nicholas; Lammich, Peter; Touili, Tayssir; Reps, Thomas |
| Source: | International Journal on Software Tools for Technology Transfer. January 2011 13(1):37-60 |
| Database: | Springer Nature Journals |