Commit 05f201af authored by Ralf Jung's avatar Ralf Jung

fix a caption

parent fd729747
\section{Derived Constructions}
\subsection{Non-Atomic (``Thread-Local'') Invariants}
\subsection{Non-atomic (``Thread-Local'') Invariants}
Sometimes it is necessary to maintain invariants that we need to open non-atomically.
Clearly, for this mechanism to be sound we need something that prevents us from opening the same invariant twice, something like the masks that avoid reentrancy on the ``normal'', atomic invariants.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment