A theory of bipolar synchronization scheme (Q799113)

The aim of the work reported in the paper is to better understand the relationship between choice and concurrency that lead to the good behaviour of distributed systems. To this end a system model based on Petri nets is formulated and its theory is developed. The model is called bipolar synchronization schemes (bp schemes) since it employs the properly synchronized flow of two kinds of control indicating the execution and the omission of actions, respectively. The theory of bp schemes presented in the paper is mainly devoted to synthesising, in a systematic fashion, all well behaved bp schemes. A computational interpretation of well behaved bp schemes is provided through which insights gained by developing the theory can be transferred to concurrent programs.