Paper Info
Title
A Theory Of Bipolar Synchronization Schemes
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.
Year
DOI
Venue
1984
10.1016/0304-3975(84)90137-3
THEORETICAL COMPUTER SCIENCE
DocType
Volume
Issue
Journal
30
3
ISSN
Citations 
PageRank 
0304-3975
35
16.02
References 
Authors
9
2
Name
Order
Citations
PageRank
H.J. Genrich1329133.19
P.S. Thiagarajan210422.97