April 2014 - Vol. 57 No. 4

April 2014 issue cover image

Features

Opinion Letters to the Editor

Code That Missed Mars

Gerard J. Holzmann's article "Mars Code" (Feb. 2014) demonstrated a nonblocking implementation of concurrent double-ended queues to not work through an application of Holzmann's own Spin model checker. However, the demonstration seemed too shallow.

Recent Issues

  1. November 2023 CACM cover
    November 2023 Vol. 66 No. 11
  2. March 2024 CACM cover
    March 2024 Vol. 67 No. 3
  3. February 2024 CACM cover
    February 2024 Vol. 67 No. 2
  4. January 2024 Vol. 67 No. 1