{"entities":{"Q1100889":{"pageid":1111641,"ns":120,"title":"Item:Q1100889","lastrevid":69641466,"modified":"2026-04-13T08:24:01Z","type":"item","id":"Q1100889","labels":{"en":{"language":"en","value":"A shared memory algorithm and proof for the generalized alternative construct in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4045125"}},"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":"Q1100889$5FE4538B-3FD8-4FBD-8FF2-0EA6C97F6BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ed5ac1848f374a52995f57a9fe43997c0a639fe","datavalue":{"value":{"text":"A shared memory algorithm and proof for the generalized alternative construct in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1100889$1C224B97-9A05-4364-9738-ADA49B6D4CD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea0ade7f3301b9e9df7b76efa688532c89ecc4fb","datavalue":{"value":"0641.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100889$2C580007-4E11-45EE-8BC0-6290CD47A30F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0bdc6392fee8c23be30e2ff70f9837b1ebc218b","datavalue":{"value":"10.1007/BF01407934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100889$D7EFEF6B-994D-4518-A8D3-81F9F803B56A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c45f3bff187b5dc29dfb7d3862561a93915ce4","datavalue":{"value":{"entity-type":"item","numeric-id":696990,"id":"Q696990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$8024FBE8-FD94-4455-AC08-9712A4A9AFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da948bcf0c0c096e0bfd2c24b33b4c099396392c","datavalue":{"value":{"entity-type":"item","numeric-id":1100888,"id":"Q1100888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$81A81E14-1465-45DE-9B26-9639B275F599","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$90322EB4-1EF1-4770-82F8-8453CA7AC558","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1100889$8613481D-FF94-42C9-945E-7581166A3CBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54c0ecafc1b84be14c6f5a933f0bd302414e8aed","datavalue":{"value":"Communicating sequential processes (CSP) is a paradigm for communication and synchronization among distributed processes. The alternative construct is a key feature of CSP that allows nondeterministic selection of one among several possible communicants. A generalized version of Hoare's original alternative construct that allows output commands to be included in guards has been proposed. Previous algorithms for this construct assume a message passing architecture and are not appropriate for multiprocessor systems that feature shared memory.    This paper describes a distributed algorithm for the generalized alternative construct that exploits the capabilities of a parallel computer with shared memory. A correctness proof of the proposed algorithm is presented to show that the algorithm conforms to some safety and liveness criteria. Extensions to allow termination of processes and to ensure fairness in guard selection are also given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$12DD53A8-5B90-4808-B01C-5172E8A61A10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100889$F89CC969-235B-4B28-8B79-0531F7398754","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abe619031029e930e0f45cdcee91b71e376392e0","datavalue":{"value":"4045125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100889$A09220E5-2281-4487-9EE3-F9994FCF0825","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bfad7dc68e94ab39d5064c593c0044d956b2d95","datavalue":{"value":"alternative operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$E3B8A803-B04E-40D2-B399-29011425F930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcc99093ac5a16771045ac9c380de606ca9a259c","datavalue":{"value":"shared memory multiprocessor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$E51D2125-A665-4FC9-9553-39F2294EB5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5e0888fa9957c443e210eb3c88f717e276ae13","datavalue":{"value":"parallel processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$5AB3C43B-8599-4BB4-847F-E8714FFD95A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe409e309c295670d8c5d0320701fbd341b9f422","datavalue":{"value":"Communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$D96B2E05-8E26-48C9-8780-E1661E66B59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$E9E9C760-234C-4C45-B8DE-0CB23050DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1100889$079DA135-044F-478B-94EA-5801ED03BB5B","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":"Q1100889$77FFEFAD-7765-48C9-861D-81DFBA159EF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$4FFDEE74-50AF-49DD-AED0-4904BC13C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$DBCA2841-AE44-4BD9-8A28-738B05536629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$4BEBCE2F-F02E-42C2-ABA2-8E2FCFA9E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b2be8630819c0185168a7a93ceacaa68493468","datavalue":{"value":{"entity-type":"item","numeric-id":3664419,"id":"Q3664419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$7C2C1DD3-584B-4986-BFC7-CD6A14DE5052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aed62bba22c1369719604fa735400248021e30a","datavalue":{"value":{"entity-type":"item","numeric-id":3904044,"id":"Q3904044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$FFA36E04-2447-4F91-AF10-B945F60E07AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75321cbaba65bdae9573c6492e50fc40d3f0d42","datavalue":{"value":{"entity-type":"item","numeric-id":4725729,"id":"Q4725729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$7621363E-F84C-420C-85C0-0D69A58EC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668310e990f7549cd232eb0187037f30448d2aad","datavalue":{"value":{"entity-type":"item","numeric-id":3321430,"id":"Q3321430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$F6D4BCEB-E589-4719-B28E-EDD1FBDD1519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$3DCE3F3A-A08F-4EF2-9C77-235B26ED0E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ebb4f22a0a0dce2e97372f26590fb1d2820f8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089786,"id":"Q1089786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1100889$958F4C97-359A-4E59-A95D-98FB6697629D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a43d1f6d20d501aa5719c6b769c6d7fb64a3a453","datavalue":{"value":"https://doi.org/10.1007/bf01407934","type":"string"},"datatype":"url"},"type":"statement","id":"Q1100889$00A17EAE-422B-411B-9A98-AE410EAC3F30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93a4b88cfc1c18b553ef3e2df724b94d35fe0c42","datavalue":{"value":"W2027479097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1100889$96EAD33B-AA19-43AC-9CB4-B78096409539","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77028034a1327f3a2935ef65767fbc7de44d44af","datavalue":{"value":{"entity-type":"item","numeric-id":3787441,"id":"Q3787441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b042661ecb2a9fbb25b5d9761400715f8295df3e","datavalue":{"value":{"amount":"+0.7439283728599548","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":"Q1100889$4D8A0612-6419-4C0C-B744-77125EEE5001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb030604e2dcc36e7ac154665c4ea77439dcdd7c","datavalue":{"value":{"entity-type":"item","numeric-id":4737361,"id":"Q4737361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf53a0481b1bcf445fca4bfaa2d59311ede05017","datavalue":{"value":{"amount":"+0.7375587224960327","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":"Q1100889$8E354E8E-A5F0-4E8F-A077-B0A446B67CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c314937185a8e460154a08bcb52bd461d98fec","datavalue":{"value":{"entity-type":"item","numeric-id":3339271,"id":"Q3339271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c380a9fe84927d29785500b13fc4d59a4c4e1fc0","datavalue":{"value":{"amount":"+0.7320148348808289","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":"Q1100889$8170DE33-09AD-4D18-8201-09E7EAC4719D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7f54ea452d6367560ffefd063b8ff24b89110b","datavalue":{"value":{"entity-type":"item","numeric-id":4723291,"id":"Q4723291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d84d08b41622321c51e7cfc53032840536088211","datavalue":{"value":{"amount":"+0.7269006967544556","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":"Q1100889$C5A1BB58-92D5-44D9-A76F-E816FDC41108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9bd17106e153b66c8e9d2ca6d6342e7cfad65","datavalue":{"value":{"entity-type":"item","numeric-id":3316568,"id":"Q3316568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b005b07fde15c279ec059d297476ba74e17271b","datavalue":{"value":{"amount":"+0.7233746647834778","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":"Q1100889$D1FEE1C1-36E1-4203-A94A-AD028D14C378","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A shared memory algorithm and proof for the generalized alternative construct in CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_shared_memory_algorithm_and_proof_for_the_generalized_alternative_construct_in_CSP"}}}}}