Doroshenko, A.E. et al. 2012. Models and parallel programming abstractions for synchronization and communication. Computing and Informatics. 18, 4 (Mar. 2012), 361–381.