Commit d731f357 authored by Glen Mével's avatar Glen Mével
Browse files

add citation in intro

parent f758948d
......@@ -131,7 +131,7 @@ an operational description of the memory model;
other memory models than that of \mocaml can also be termed in this fashion,
as iGPS~\cite{kaiser-17} and iRC11~\cite{dang-20} have demonstrated for C11.
Second, logical atomicity has already successfully been used
for various data structures in the Iris community~\cite{iris-examples}.
for various data structures in the Iris community~\cite{iris-examples,frumin2020reloc}.
The paper begins with a detailed explanation of the specification
of a concurrent queue~(\sref{sec:queue:spec}).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment