Petrov, A.; Serdyuk, Y. The MC# 2.0 System for Concurrent and Distributed Programming. Num. Meth. Prog. 2008, 9, 1-11.