https://123dok.net/document/y6epome5-expressiveness-linearity-vs-persistence-asychronous-pi-calculus.html