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
Abstract
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
