A decision procedure for detecting atomicity violations for communicating processes with locks
Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas
Research article (journal) | Peer reviewedDetails about the publication
Journal: International Journal on Software Tools for Technology Transfer
Volume: 13
Issue: 1
Page range: 37-60
Status: Published
Release year: 2011
Language in which the publication is written: English
Link to the full text: http://dx.doi.org/10.1007/s10009-010-0159-5
Authors from the University of Münster
| Lammich, Peter | Institute of Computer Science |