Sémantique des processus communicants André Arnold (1981) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Sur l'élimination itérative des situations de blocage dans un système Maurice Tchuente (1980) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications