Sémantique des processus communicants André Arnold RAIRO. Inform. théor., 15 2 (1981) 103-139 Published online: 01 February 2017 DOI: 10.1051/ita/1981150201031