@article{3dc29b4cbe164bdd9429bf45f9c74163,
title = "Dynamic deadlock verification for general barrier synchronisation",
keywords = "Barrier synchronisation, Deadlock avoidance, Deadlock detection, Java, Phasers, X10",
author = "Tiago Cogumbreiro and Raymond Hu and Francisco Martins and Nobuko Yoshida",
note = "Publisher Copyright: {\textcopyright} Copyright 2018 held by Owner/Author",
year = "2018",
month = dec,
doi = "10.1145/3229060",
language = "English",
volume = "41",
journal = "ACM Transactions on Programming Languages and Systems",
issn = "0164-0925",
publisher = "Association for Computing Machinery (ACM)",
number = "1",
}