Doroshenko, A. E.; Godlevsky, A. B.; Hluchý, L. Models and Parallel Programming Abstractions for Synchronization and Communication. Comput. Inform. 2012, 18, 361-381.