Concurrency Primitives

Concurrency Primitives is a synchronization mechanism in operating systems that enables controlled access to shared resources by multiple concurrent processes or threads through low-level constructs such as locks, semaphores, and condition variables.

152

Publications

8.8K

Citations

353

Authors

133

Institutions

Publications per year

2017–2026

15

Authors

353

  1. PS
    Peter Sewell

    University of Cambridge, United Kingdom

    6 publications · 779 citations

    6

    h-index

  2. MB
    Mark Batty

    University of Cambridge, United Kingdom

    4 publications · 679 citations

    4

    h-index

  3. SO
    Scott Owens

    University of Cambridge, United Kingdom

    4 publications · 679 citations

    4

    h-index

  4. SZ
    Steve Zdancewic

    University of Pennsylvania, United States

    4 publications · 157 citations

    4

    h-index

  5. SM
    Simon Marlow

    Microsoft Research (United Kingdom), United Kingdom

    4 publications · 91 citations

    4

    h-index

1–5 of 353

Venues

  1. ACM SIGPLAN Notices

    17 publications · 638 citations

    13

    h-index

  2. ACM SIGOPS Operating Systems Review

    3 publications · 91 citations

    3

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 34 citations

    3

    h-index

  4. IEEE Transactions on Parallel and Distributed Systems

    TPDS · 3 publications · 111 citations

    3

    h-index

  5. Software Practice and Experience

    3 publications · 70 citations

    3

    h-index

1–5