{"entities":{"Q1060002":{"pageid":1061850,"ns":120,"title":"Item:Q1060002","lastrevid":66056325,"modified":"2026-04-12T07:14:42Z","type":"item","id":"Q1060002","labels":{"en":{"language":"en","value":"Automatic construction of CSP programs from sequential non-deterministic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3905834"}},"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":"Q1060002$FE0C0575-C055-40CD-9A5C-213A078F647B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb2d22cfbdc0716f930a8fdec72866f64e964672","datavalue":{"value":{"text":"Automatic construction of CSP programs from sequential non-deterministic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1060002$81729CEB-5D33-4119-B078-9A8BC51F8E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caf3e46429c2fed1956aa63b1598bedc481871ba","datavalue":{"value":"0567.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$F4CC648B-AF42-485D-97F6-86AF0C727A65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de103bee031b5c31b3eba42cf5f7ec5ef8b2ab93","datavalue":{"value":"10.1016/0167-6423(85)90016-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$1C3A6C0C-C3EB-4E36-903A-764300500E77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"587def83e79f97beefcdeb871c90b592319b633b","datavalue":{"value":{"entity-type":"item","numeric-id":1060001,"id":"Q1060001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060002$0A5C63AC-6BBC-4A2F-BBFB-68E9B23B51C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1060002$CA565993-D732-4067-9754-9F2EB7FC59D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1060002$BF57F8DA-849E-45DB-8596-DA9545EC6C63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647ec969c88447003bf7e72e4fa8563461fb3057","datavalue":{"value":"https://hdl.handle.net/1813/6437","type":"string"},"datatype":"url"},"type":"statement","id":"Q1060002$BC25129E-7E02-43E3-988F-941933BDA238","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ab5c7a05c4aaa94fac7d8383a74ead93b946faf","datavalue":{"value":"In this paper we describe a systematic method for transforming a sequential program, written in a guarded command laguage, into a distributed program, written in CSP. The variables of the sequential program are first partitioned into n disjoint sets, and then the program is transformed into a CSP program of n communicating processes. The two versions of the program are shown to be strongly equivalent, in the sense that they exhibit the properties of reaching the same final states and of either aborting, terminating, or running forever. We also discuss the conditions under which, when compared to the execution of the original sequential program, a speed-up in the execution of the resulting distributed program can be achieved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$CFFCFE9B-67C8-4BDF-82BC-A2388C9FB19E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$A57C0718-9DC2-464B-898C-764E9128678B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$4C1F0C5D-B2AD-4D01-AEF5-AED3C524FFD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"364c02612ad77b35c1f9fb83714ca2fc90e11698","datavalue":{"value":"3905834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$1755E81B-2685-42AC-97C6-0F1064122675","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f09e33986506e08127e4add6bdd4800ae27f6c60","datavalue":{"value":"sequential non-deterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$DA01CBB0-D3D6-4B91-B48A-CEF682B6380D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d2e598b601e971c0022dc6489a284ed99b29f29","datavalue":{"value":"sequential program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$4C2DADB3-0435-4A93-B2CD-FC24792552F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f054c55baa9abe09bfbb107e337e6c782232fc7b","datavalue":{"value":"distributed program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$8A52115E-DD7A-4381-96CD-16876798A8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$5FC62D66-6126-4E36-B8BA-B1487E61EC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1060002$04CFED8B-49F1-4FAA-85DB-D9D6E602C3AB","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":"Q1060002$07E9DB30-861F-4BAF-A78E-88E8CB943744","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5052dbde861ce7a493c1fd409289106797620c86","datavalue":{"value":"W2008823685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1060002$331D7D1C-7B52-4588-A259-847D0E7F7526","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cdc931f42d951f372530823ebb2eaa6fe1a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1104075,"id":"Q1104075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3598a12a74fc97938a25efbcf119d1c081ad3fa","datavalue":{"value":{"amount":"+0.8048611879348755","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":"Q1060002$B33D4BE2-705D-48E6-B5D6-69A01804146C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb6957aa602e715a7cf7f56ea117465e51b86cab","datavalue":{"value":{"entity-type":"item","numeric-id":1330447,"id":"Q1330447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4057c160020f1d434b790ffd51468f3293e7e8e5","datavalue":{"value":{"amount":"+0.779093325138092","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":"Q1060002$A648C36D-D56F-49FA-92E5-DC6B0967943D","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":"480db9fe00ec9abfb05da1f188ce7d52c23a0e83","datavalue":{"value":{"amount":"+0.7645886540412903","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":"Q1060002$F59E7BA2-DCF9-49B4-A407-18424978400E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263fb576874caf6007f40c3d467478665b2299c7","datavalue":{"value":{"entity-type":"item","numeric-id":1592937,"id":"Q1592937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d46188498c534cf20c1c21d3d7487754c1c29e2","datavalue":{"value":{"amount":"+0.7445243000984192","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":"Q1060002$CA6FE43F-F7A8-42A6-89B2-E4B72F103E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca28266efa19ec073288c96e84840d3b5dcade8","datavalue":{"value":{"entity-type":"item","numeric-id":3687725,"id":"Q3687725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d46188498c534cf20c1c21d3d7487754c1c29e2","datavalue":{"value":{"amount":"+0.7445243000984192","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":"Q1060002$D1E044DB-C175-4A1E-9EA6-F144DAAB3A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic construction of CSP programs from sequential non-deterministic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_construction_of_CSP_programs_from_sequential_non-deterministic_programs"}}}}}