A decision procedure for detecting atomicity violations for communicating processes with locks

Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas

Research article (journal) | Peer reviewed

Details 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