A theory of bipolar synchronization scheme

DOI10.1016/0304-3975(84)90137-3MaRDI QIDQ799113zbMATH OpenOpenAlexFDO

Authors P. S. Thiagarajan, Hartmann J. Genrich

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(84)90137-3

bipolar synchronization schemes concurrency concurrent programs distributed systems Petri nets synthesis procedures

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: A theory of bipolar synchronization scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q799113)