{"entities":{"Q799113":{"pageid":800961,"ns":120,"title":"Item:Q799113","lastrevid":64458618,"modified":"2026-04-11T20:00:37Z","type":"item","id":"Q799113","labels":{"en":{"language":"en","value":"A theory of bipolar synchronization scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872689"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$29DE4E88-B043-4266-98B8-8A47ABF482CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc8d4a9cc49a75b5ebefcbcc5f3aa8c8f17bba7c","datavalue":{"value":{"text":"A theory of bipolar synchronization scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799113$E945E4AF-A590-4C7C-81FD-41FC0363931D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c305dc1a0d94469a203ebd3c2a200f8a748e4ad4","datavalue":{"value":"0547.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799113$C7789B41-CC54-447D-A0EB-052A109B5F1B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4ccb65994c9e3fda2627108b947d0b4e799ea66","datavalue":{"value":"10.1016/0304-3975(84)90137-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799113$DD3D285A-8CFB-4333-AF70-1336FB0FE4A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$D71254E2-DCF1-477C-98D6-FABDA8A634D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8681933dd6b11e05bb0222f2d79b327985071599","datavalue":{"value":{"entity-type":"item","numeric-id":1402462,"id":"Q1402462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$E8AB5F64-D451-45D4-8942-04CEA317BD70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$35E682B4-8DCD-4A35-945B-6922AECB7541","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799113$84AA3436-054E-4B9B-BC7B-7A668C5D7620","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"737e64cc45e699f9118c46b894e9056659722676","datavalue":{"value":"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.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$63B5A6BC-F8EA-4442-A0C7-BDB380261391","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799113$30DAE4EA-5A76-44DC-BEC3-2DFA7DF9DBFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ecc0b2d52f9e94a0ae0795f91133dc4344cd71a","datavalue":{"value":"3872689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799113$CD69B14C-B9A5-4C2A-A75F-F417F0A3269F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372b25c0f99867cda98520506c7920d58d3172f5","datavalue":{"value":"synthesis procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$AFF5305F-FAD8-4738-8C14-B8E9507B6057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$AFD5464A-E800-43A2-8896-5BA19B1BA409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$892DFDF7-352A-4106-9D95-F541F66A598D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$DBB2EA0A-284E-4327-8F56-434806098A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f53953692a866f28df1b8b78eba5d8ca1d83d99","datavalue":{"value":"bipolar synchronization schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$8BBE5E53-BF5D-4532-B8A6-E0E639333849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q799113$A99CF5DD-7D90-43A3-A43A-99B9F3F857D8","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$52BFBE48-90E9-4650-9F70-ED964949CF02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec8ebd36581053260c5a760e2c595860c96ff5ab","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90137-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q799113$5D525283-9A32-49DA-B438-5E2B0921D624","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6923e8d5f1f993fe8f722a5d5bcc5ef35c56949b","datavalue":{"value":"W2058791725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799113$4F3F1F46-2EC8-4191-990D-214731AD3F46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dcd6927ab1d1bce41987835412eca9687211fd1","datavalue":{"value":{"entity-type":"item","numeric-id":3670572,"id":"Q3670572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$641A398C-8195-4C09-961C-7A87B4978656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004893761a1ba419f20bd0d2cee6ecb5ba162dd6","datavalue":{"value":{"entity-type":"item","numeric-id":2552879,"id":"Q2552879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$1B2EA3B8-7C5B-431B-954C-79F1B7D0A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58b6e891ceaaf10dbc5c4d9dbd4c4529d90e41e","datavalue":{"value":{"entity-type":"item","numeric-id":3883515,"id":"Q3883515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$31D3578B-7581-4CE7-96F7-5604C1E223D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$93BD9AC0-87DF-48C9-9BAF-110EA52B3541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f865e79e7c057327ed465f59a2a7623186357","datavalue":{"value":{"entity-type":"item","numeric-id":2554953,"id":"Q2554953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$657CC989-7DFE-4FA4-8764-8BF534471437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71728c2d8503967ab18916422b04a312127b2bfc","datavalue":{"value":{"entity-type":"item","numeric-id":3659154,"id":"Q3659154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$0B3EEDE2-F488-4CD7-9C40-D29EED02EE53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88fc6f95fcac8e1e151365f9285951884fa73dd","datavalue":{"value":{"entity-type":"item","numeric-id":5535978,"id":"Q5535978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$C71E1D12-14BC-4AA5-BEB7-7074105D3869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a8ec972e060a340b8f1a586b67064c26f1ac46","datavalue":{"value":{"entity-type":"item","numeric-id":1159464,"id":"Q1159464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$70AEECB2-59CC-4C4D-AB17-6DA6DFDE59C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d49958719cd592e6653038be65098459cc07fe","datavalue":{"value":{"entity-type":"item","numeric-id":4184309,"id":"Q4184309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$ABB7CF47-FBF6-474F-8C0B-35745E14AAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a393b538e43d0b0449c7b4c1b0c37254270ff73","datavalue":{"value":{"entity-type":"item","numeric-id":5657966,"id":"Q5657966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$929CD5B5-22CF-4CC7-90A8-76E7FFFF0566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e4ed2a2f3be4bfd71319f0f7103bd1a3e3677a","datavalue":{"value":{"entity-type":"item","numeric-id":4096800,"id":"Q4096800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$D0ABA374-D6AB-434B-BDFB-ED9A8A4C0D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c79ef3c9e254603dc3bf50f004c36871a9c3ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4167546,"id":"Q4167546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$ADF66A98-D331-46C6-A355-A6D68ECAC993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$D35E5143-971D-47F2-8A9B-BA2E914D55D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17d90efb596c4ba2bc87f8ac536a1192b61ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":3893321,"id":"Q3893321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$0B6A04C9-12C9-4A1D-8D70-966BBB5F4E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f6c4ea0693b85f25a5eaa5429681fd636b6b2","datavalue":{"value":{"entity-type":"item","numeric-id":794437,"id":"Q794437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$59590CAE-90B4-481D-B71E-7E79B6364A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$31BDA760-5754-4C26-9929-0BB9D7BEA115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fc185177e28d994f8be6138e0d39e30fa75870","datavalue":{"value":{"entity-type":"item","numeric-id":1255320,"id":"Q1255320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799113$BDD759E9-CD5B-4A91-A2B0-C976687E07DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700ab89617dc5dc9a1eaef2b4eeb641bd3dae947","datavalue":{"value":{"entity-type":"item","numeric-id":3560559,"id":"Q3560559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8e2605ad715ca26fe2fc0eb9722281de01fe627","datavalue":{"value":{"amount":"+0.779840886592865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q799113$3D2E3658-A6EB-479B-B3CA-FA3A985260B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d4db3fe7069bd1744085b1b8d241be8875a4a3","datavalue":{"value":{"entity-type":"item","numeric-id":3746897,"id":"Q3746897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ae32be2d6fd1dc77c8715f2cd9e0e273a43823","datavalue":{"value":{"amount":"+0.7150232195854187","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q799113$A9894589-183B-4742-AF92-0BBE7C20DC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c178ae962ae9d88f343f8d8debc8791ba75d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3336705,"id":"Q3336705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd5469c9da8f7a121809d1f81bf241a34bef28e","datavalue":{"value":{"amount":"+0.7051714062690735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q799113$18C7A356-DD57-4E11-8DFF-A4B49BDD89A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde0b9adb0125b041ecbfab103d71c0ecb18dab5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf8943eac8b21c9097a440fbe9e8d7c0b2b2fc7","datavalue":{"value":{"amount":"+0.7007873058319092","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q799113$41D74331-92C9-41E3-974C-9FFAFD9AF7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0bf42d4e94f2dd0a2bee748a33ab72efa74c68","datavalue":{"value":{"entity-type":"item","numeric-id":3033343,"id":"Q3033343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdeb3e8190d2f66a047b92b0b6a4563027b3f6b","datavalue":{"value":{"amount":"+0.699688732624054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q799113$6046BC5D-C4D7-4095-BB64-CAF1BE3DF9E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of bipolar synchronization scheme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_bipolar_synchronization_scheme"}}}}}