University of Hertfordshire

ACM Transactions on Programming Languages and Systems (TOPLAS)

ISSNs: 0164-0925

Association for Computing Machinery (ACM)

Scopus rating (2021): CiteScore 3.7 SJR 1.026 SNIP 1.488

Journal

  1. 2019
  2. Dynamic Deadlock Verification for General Barrier Synchronisation

    Cogumbreiro, T., Hu, R., Martins, F. & Yoshida, N., 1 Mar 2019, In: ACM Transactions on Programming Languages and Systems (TOPLAS). 41, 1, p. 1-38 38 p., 1.

    Research output: Contribution to journalArticlepeer-review