How to relieve a programmer from synchronization details
Ryszard Janicki · 1988
An alternative method of specifying concurrent systems is presented. The method consists in starting with a sequential program and next determining an independency relation that allows relaxation of the sequential structure of the program. A programming language and a theoretical background for the method are discussed.