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. January 2025 cover
    January 2025 Vol. 68 No. 1
  2. December 2024 CACM cover
    December 2024 Vol. 67 No. 12
  3. November 2024 CACM cover
    November 2024 Vol. 67 No. 11
  4. October 2024 CACM cover
    October 2024 Vol. 67 No. 10