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. September 2025 cover
    September 2025 Vol. 68 No. 9
  2. August 2025 cover
    August 2025 Vol. 68 No. 8
  3. July 2025 cover
    July 2025 Vol. 68 No. 7
  4. June 2025 CACM cover
    June 2025 Vol. 68 No. 6