https://123dok.net/document/q051p03y-model-checking-process-equivalences.html