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

Kidd Nicholas, Lammich Peter, Touili Tayssir, Reps Thomas

Forschungsartikel (Zeitschrift) | Peer reviewed

Details zur Publikation

Fachzeitschrift: International Journal on Software Tools for Technology Transfer

Jahrgang / Bandnr. / Volume: 13

Ausgabe / Heftnr. / Issue: 1

Seitenbereich: 37-60

Status: Veröffentlicht

Veröffentlichungsjahr: 2011

Sprache, in der die Publikation verfasst ist: Englisch

Institut für Informatik