进程同步临界区问题Peterson算法证明。通过模拟各种可能的操作序列来正明Peterson算法的正确性。详见：http://blog.csdn.net/zha_1525515/archive/2009/10/27/4733056.aspx-Critical zone in the process of synchronization algorithm for proof of Peterson. By simulating every possible sequence of actions

Leader election for the MPI the Peterson algorithm

calculates the Fresnel integrals using the error function for complex inputs abd calculates the field for each path of the Epstein & Peterson model