https://123dok.net/document/zx53monq-the-attributed-pi-calculus-with-priorities.html