{"entities":{"Q1089786":{"pageid":1100538,"ns":120,"title":"Item:Q1089786","lastrevid":66109542,"modified":"2026-04-12T07:37:19Z","type":"item","id":"Q1089786","labels":{"en":{"language":"en","value":"Transformations for communication fairness in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005588"}},"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":"Q1089786$25962190-5E3E-4602-8F9E-0AD9765A08CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b1deb4ea2f455cf65f3ea72b8d8c5e40f7627aa","datavalue":{"value":{"text":"Transformations for communication fairness in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089786$0A8F726A-3CC2-46B5-8303-AC69F9442A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ee649153577e8678b5943654087c075cc767185","datavalue":{"value":"0619.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089786$2C3EF9DE-F051-4AB3-8E29-978E605C3F4B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eac9b2f224f051346436967a243e0ebc75a8f14","datavalue":{"value":"10.1016/0020-0190(87)90132-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089786$0031D316-7DF1-4DBA-BAED-4DE571A66A2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d143205c04579d9744e73419fc0cdb52399634a2","datavalue":{"value":{"entity-type":"item","numeric-id":1089785,"id":"Q1089785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$DCFD61CE-B34C-491E-9C7D-DAF83EE2146D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$477DB8A8-BDDE-49C8-81E9-292349710A82","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":"Q1089786$F7B7D1E9-F9D8-4348-8B81-18FDB0D215E5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da696a19d2199f86acf3a5722d22ee87f2af432f","datavalue":{"value":"Transformations have shown to be a valuable tool for the incorporation of distributed control mechanisms into CSP-programs. This tool will be applied to solve the I/O-guard problem in CSP. The proposed transformation COMFAIR maps a given CSP-program to a CSP-program with I- guards only and introduces the necessary protocol communication. Moreover, for the transformed program we investigate the implications of selection fairness on communication fairness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$BAE4BEFB-A358-4653-A6BC-3653A4A4EDFB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089786$14229137-432B-4FE5-ADA0-5106FE3E49D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b47603b7fcd94167fe38f94f7f16542364f7358c","datavalue":{"value":"4005588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089786$C4FC4D73-3056-4AA7-8801-FF359BE177C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b36d924addd0d2f364b26835d91730b673a9f92","datavalue":{"value":"distributed computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$44E1DE93-CFB1-4144-B9DF-CDE28439FF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$98C1283A-F483-4D32-8D51-C10D82F05D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdafd4687b301d7f794b457734a356dabc1e9dd6","datavalue":{"value":"distributed control mechanisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$B06B3BB3-367C-4C23-A426-9F2F17777C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ea64cce9beb8942f37eb3962cc839a452359c1","datavalue":{"value":"CSP- programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$51A9F69F-438B-409C-8355-E05EA4323529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"115a74d6d5969c406fa4573cef6babdd2a7ab60c","datavalue":{"value":"I/O-guard problem in CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$658DED38-C3AC-4BCB-A91F-9DEFA631B3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4823bd053f56d27d1fca55789e132105ef43209","datavalue":{"value":"COMFAIR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$ADF79163-480D-4E02-A238-001EF3B824C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0aafb02ffd9c1575a35482345be7d31c00f33b","datavalue":{"value":"protocol communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$5B6172FD-6B5D-4BB1-BE18-416B30089579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089786$BE47112E-9F66-47A8-84D5-BA17B6756892","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":"Q1089786$CEAC9027-E170-4BCC-9A82-EB8E59501E42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e07a10de7ed98f925e214fd0b6126b311930056","datavalue":{"value":"https://doi.org/10.1016/0020-0190(87)90132-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089786$8A445FDD-869B-4ABA-AF90-FDBF1750F388","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7c239da53dbaa3496e708e92448d38902209da7","datavalue":{"value":"W2087370874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089786$06A17605-9BC4-43D0-9CF6-35A4422480C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$9D031C97-1F76-4620-8BFB-56E2F395A15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58461e2b4053385170325daa14e6f1f349f2a88b","datavalue":{"value":{"entity-type":"item","numeric-id":3321434,"id":"Q3321434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$3495A565-A8DE-4C61-A809-C2E6DC1721F4","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":"Q1089786$F0BF9AD2-D0D8-4610-B4A1-71019D04D793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dd5c022bb1587ceb24edbf41e1663673e9804f","datavalue":{"value":{"entity-type":"item","numeric-id":3936178,"id":"Q3936178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$D2F89DD8-B77F-4C96-9433-B6F3CF582B18","rank":"normal"},{"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":"Q1089786$159A07A7-8B9B-4997-972E-421FC55E2607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4f8b895580a1d7e55abef5c97f162c9fb06942","datavalue":{"value":{"entity-type":"item","numeric-id":3677158,"id":"Q3677158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$BC9D1721-A89D-457D-96E2-67AA6C940B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b524155ca812bee0e1b7f8a0a6113b4062250caa","datavalue":{"value":{"entity-type":"item","numeric-id":3330490,"id":"Q3330490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089786$F81836D3-ED75-40F9-B41B-C8CA0BF4529F","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":"d0be27191817dcc06b38ae2e44f5477141f51bed","datavalue":{"value":{"amount":"+0.7747746109962463","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":"Q1089786$B6468E69-83B6-41E1-87C7-DD2F875EBD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fd09d236e17afbe087b3f2875724deddd2b41f","datavalue":{"value":{"entity-type":"item","numeric-id":3347267,"id":"Q3347267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758b7a60130cacd11efe15057bde04cd6b2f9213","datavalue":{"value":{"amount":"+0.7499067187309265","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":"Q1089786$0FFE37C7-4FFD-44C2-B730-EFFF6D095244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bf4d4c52c4a75e50a24e16a535fdc7ae48862e9","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c022e469643eba918d6e4cb41732a86a19b6f64","datavalue":{"value":{"amount":"+0.7311592698097229","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":"Q1089786$C5968990-AB23-4A13-96B3-D1BF209D227B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b9a48830697ac793983e3772c6c49e6f090e84","datavalue":{"value":{"entity-type":"item","numeric-id":1060002,"id":"Q1060002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c5664e8818b7cc134855bd2e1347c630fe6a78","datavalue":{"value":{"amount":"+0.7159265279769897","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":"Q1089786$BBC1E7C8-2EBB-4311-92BD-99CA98F380B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26567cadd41c1aaab451386b3d466d03d8f9c59a","datavalue":{"value":{"entity-type":"item","numeric-id":1323314,"id":"Q1323314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006b0e687fc7aae3518be879c5acc0bf36a9d62e","datavalue":{"value":{"amount":"+0.6959021091461182","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":"Q1089786$9FC2FDDE-33FB-4EA5-BBC7-79DA60F8F255","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transformations for communication fairness in CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transformations_for_communication_fairness_in_CSP"}}}}}