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. June 2025 CACM cover
    June 2025 Vol. 68 No. 6
  2. May 2025 CACM cover
    May 2025 Vol. 68 No. 5
  3. April 2025 CACM cover
    April 2025 Vol. 68 No. 4
  4. March 2025 cover
    March 2025 Vol. 68 No. 3