https://123dok.net/document/y8ggnl0z-analysis-of-synchronisation-patterns-in-stateful-active-objects.html