Attention une mise à jour du service Gitlab va être effectuée le mardi 18 janvier (et non lundi 17 comme annoncé précédemment) entre 18h00 et 18h30. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes.

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

ICFP21 paper: address some todos

parent f8223f23
......@@ -40,7 +40,6 @@ exclusive ownership in an \emph{invariant}.
An invariant is an assertion which is agreed upon by all threads, and is owned
by anyone; it remains true forever.
%
% GLEN: digression (on introduit le vocabulaire "public state" ici):
As the public state of the queue---the list $\elemList$ of currently stored
items---would only be known from that invariant, the client would also express
in there the properties about this state that their particular application
......
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