---------- Forwarded message ----------
From:��Alidra Abdelghani <alidrandco@yahoo.fr>
To:��pharo-users@lists.pharo.org
Cc:��"St��phane Ducasse" <stephane.ducasse@inria.fr>, farid arfi <arfi_f@hotmail.com>
Bcc:��
Date:��Mon, 31 Jul 2017 01:38:58 +0200
Subject:��Threads safety in Pharo
Hi,

Somebody once evoked the problem of threads safety in Pharo. With a friend of mine who is expert in formal methods and process scheduling, we would like to have a look on it.
Does anyone knows a good document describing the problem of Pharo with threads safety or at least any document that we can start with?

Thanks in advance,
Abdelghani