A theory of bipolar synchronization schemes

Genrich, H. J. ; Thiagarajan, P. S. (1984) A theory of bipolar synchronization schemes Theoretical Computer Science, 30 (3). pp. 241-318. ISSN 0304-3975

Full text not available from this repository.

Official URL: http://www.sciencedirect.com/science/article/pii/0...

Related URL: http://dx.doi.org/10.1016/0304-3975(84)90137-3


The aim is to better understand the relationships between choice and concurrency that lead to the good behaviour of distributed systems. In order to do so, we formulate a model based on Petri nets and develop its theory. The model is called bipolar synchronization schemes (bp schemes) and the theory we construct is mainly devoted to synthesising, in a systematic fashion, all well behaved bp schemes. We also provide a computational interpretation of well behaved bp schemes. Through this interpretation the insights gained by developing the theory of bp schemes can be transferred to concurrent programs.

Item Type:Article
Source:Copyright of this article belongs to Elsevier Science.
ID Code:50510
Deposited On:25 Jul 2011 11:43
Last Modified:25 Jul 2011 11:43

Repository Staff Only: item control page