All Stories

  1. A conditionally optimal algorithm for deciding whether basic parallel systems are safe

    Article • Journal of the ACM, August 2025, ACM (Association for Computing Machinery)

    Henry Sinclair-Banks, Karol Wegrzycki