A theory of bipolar synchronization scheme (Q799113)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A theory of bipolar synchronization scheme |
scientific article; zbMATH DE number 3872689
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A theory of bipolar synchronization scheme |
scientific article; zbMATH DE number 3872689 |
Statements
A theory of bipolar synchronization scheme (English)
0 references
1984
0 references
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.
0 references
synthesis procedures
0 references
concurrency
0 references
distributed systems
0 references
Petri nets
0 references
bipolar synchronization schemes
0 references
concurrent programs
0 references
0.779840886592865
0 references
