TY - JOUR T1 - Complexity of Data Dependence Problems for Program Schemas with Concurrency JO - ACM Transactions on Computational Logic PY - 2012/01/01 AU - Danicic S AU - Hierons RM AU - Laurence MR ED - DO - DOI: 10.1145/2159531.2159537 PB - Association for Computing Machinery (ACM) VL - 13 IS - 2 SP - 1 EP - 18 Y2 - 2024/12/22 ER -