https://123dok.net/document/y8g2gl50-sémantique-des-processus-communicants.html