Data-Race-Freedom of Concurrent Programs

Granville Barnett , Shengchao Qin

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	2013 20th Asia-Pacific Software Engineering Conference (APSEC)
Publisher	IEEE
Pages	272-279
DOIs	https://doi.org/10.1109/APSEC.2013.45
Publication status	Published - 2013
Event	20th Asia-Pacific Software Engineering Conference - Bangkok, Thailand Duration: 2 Dec 2013 → 5 Dec 2013 Conference number: 20

Conference	20th Asia-Pacific Software Engineering Conference
Abbreviated title	APSEC 2013
Country/Territory	Thailand
City	Bangkok
Period	2/12/13 → 5/12/13

Access to Document

@inproceedings{8cccff80cb7f4dc1bc8a9465fbdfcf53,

title = "Data-Race-Freedom of Concurrent Programs",

author = "Granville Barnett and Shengchao Qin",

year = "2013",

doi = "10.1109/APSEC.2013.45",

language = "English",

pages = "272--279",

booktitle = "2013 20th Asia-Pacific Software Engineering Conference (APSEC)",

publisher = "IEEE",

note = "20th Asia-Pacific Software Engineering Conference, APSEC 2013 ; Conference date: 02-12-2013 Through 05-12-2013",

}

TY - GEN

T1 - Data-Race-Freedom of Concurrent Programs

AU - Barnett , Granville

AU - Qin, Shengchao

N1 - Conference code: 20

PY - 2013

Y1 - 2013

UR - https://doi.org/10.1109/APSEC.2013.45

U2 - 10.1109/APSEC.2013.45

DO - 10.1109/APSEC.2013.45

M3 - Conference contribution

SP - 272

EP - 279

BT - 2013 20th Asia-Pacific Software Engineering Conference (APSEC)

PB - IEEE

T2 - 20th Asia-Pacific Software Engineering Conference

Y2 - 2 December 2013 through 5 December 2013

ER -