Une formalisation des systèmes conversationnels C. Queinnec — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications