Sémantique des processus communicantsAndré ArnoldRAIRO. Inform. théor., 15 2 (1981) 103-139DOI: https://doi.org/10.1051/ita/1981150201031