Login / Signup

Formal Verification of a Practical Lock-Free Queue Algorithm.

Simon DohertyLindsay GrovesVictor LuchangcoMark Moir
Published in: FORTE (2004)
Keyphrases