Data-Race-Freedom of Concurrent Programs

Granville Barnett , Shengchao Qin

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publication 2013 20th Asia-Pacific Software Engineering Conference (APSEC)
    PublisherIEEE
    Pages272-279
    DOIs
    Publication statusPublished - 2013
    Event20th Asia-Pacific Software Engineering Conference - Bangkok, Thailand
    Duration: 2 Dec 20135 Dec 2013
    Conference number: 20

    Conference

    Conference20th Asia-Pacific Software Engineering Conference
    Abbreviated titleAPSEC 2013
    CountryThailand
    CityBangkok
    Period2/12/135/12/13

    Cite this

    Barnett , G., & Qin, S. (2013). Data-Race-Freedom of Concurrent Programs. In 2013 20th Asia-Pacific Software Engineering Conference (APSEC) (pp. 272-279). IEEE. https://doi.org/10.1109/APSEC.2013.45