A Theory for Bipolar Synchronisation Schemes
DOI:
https://doi.org/10.7146/dpb.v12i158.7432Resumé
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 synchronisation schemes (bp schemes) and the theory we construct is mainly devoted to synthesizing, 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.Downloads
Publiceret
1983-03-01
Citation/Eksport
Genrich, H. J., & Thiagarajan, P. S. (1983). A Theory for Bipolar Synchronisation Schemes. DAIMI Report Series, 12(158). https://doi.org/10.7146/dpb.v12i158.7432
Nummer
Sektion
Articles
Licens
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.