Synthesis of Impartial Deadlock-free Programs for Concurrent Systems

This paper provides an algorithm for parallel program synthesi s. We study the particular but frequent case of sequential processes cooperation via shared resources. Given such a set of these processes (which may be non deterministic ones) , the algorithm outputs a parallel progra m which ensures safeness, liveness and fairness.