A Theory for Bipolar Synchronisation Schemes | Zendy

Hartmann J. Genrich | Zendy; P. S. Thiagarajan | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Theory for Bipolar Synchronisation Schemes

Author(s) -

Hartmann J. Genrich,

P. S. Thiagarajan

Publication year - 1983

Publication title -

daimi report series

Language(s) - English

Resource type - Journals

eISSN - 2245-9316

pISSN - 0105-8517

DOI - 10.7146/dpb.v12i158.7432

Subject(s) - concurrency , petri net , interpretation (philosophy) , computer science , construct (python library) , theoretical computer science , order (exchange) , distributed computing , programming language , finance , economics

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research