Une expression de la synchronisatin et de l'oronnancement des processus concurrents par variables partagées. - H. Bahsoun; Claude Bétourné; Louis Féraud (Symposium on Programming, 1984)