Theoretical researches use an axiomatic approach6 that can hardly be used for practical application. Concurrent
processes are sometimes described using Petri networks7 where the main focus is on the correctness of processes.
The theoretical researches are out of the scope of this paper.