{"entities":{"Q2423741":{"pageid":2434484,"ns":120,"title":"Item:Q2423741","lastrevid":74197902,"modified":"2026-04-14T18:54:45Z","type":"item","id":"Q2423741","labels":{"en":{"language":"en","value":"Keep it fair: equivalence and composition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7069226"}},"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":"Q2423741$99E6A2E1-1DFC-4428-9396-878F87954436","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa834534424c52427282d2884f1c073aaeca5f7e","datavalue":{"value":{"text":"Keep it fair: equivalence and composition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2423741$81D4A79F-24F0-4603-B67B-6836791B3B1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"288f19c93421e9491505fdece821583bdfaa0b68","datavalue":{"value":"1431.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$31498E9E-1408-4000-B71E-17BCFDC6F062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a781fa052437b979136cc16d351fabe811f9074","datavalue":{"value":{"entity-type":"item","numeric-id":898618,"id":"Q898618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$E0CA52AD-0542-4284-A2CF-8EDBEC288D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a237277cfd84dd55a8903c38c67224a5a3ce880","datavalue":{"value":{"entity-type":"item","numeric-id":2423740,"id":"Q2423740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$364EFC14-313A-44F1-B040-70CAB6CE2B59","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$302DD7C7-CECD-4667-92A9-4D9D007A75E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42d1f5c0f5e8db34a69e71d479f8d7faaf3c37a6","datavalue":{"value":{"time":"+2019-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2423741$C3910BF0-5FC8-4AE6-BB40-4F5FAFA93783","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db05f25cf924456f14f8b75ec7cc741bb00bcc29","datavalue":{"value":"Since E. W. Dijkstra introduced the concept of fairness in 1987, various fairness notions for different models have been introduced, discussed and compared. Roughly speaking, fairness excludes infinite executions of distributed systems or programs where a local component does not progress or does not execute a certain activity, although this activity is persistently or infinitely often enabled to occur. Fairness is not a semantical property of a distributed system, but is rather used as an assumption, restricting the relevant behavior to executions respecting fairness.   Each notion of semantics of a formal modeling language for distributed systems induces an equivalence notion on models, expressing semantical equivalence of models, i.e., the same behavior according to this semantics. Unfortunately, fairness is not always respected by this equivalence. The first contribution of this paper is an equivalence spectrum in which fairness assumptions are preserved.   Modeling languages for distributed systems are equipped with a composition operator, inducing parallel composition of component executions. The paper also analyses parallel composition operators and their synchronization mechanisms with respect to fairness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423741$C4C9EA64-02B5-4DC6-AA14-021F1D7037EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"278cb718fa512f840b9c5522dfe38ff5e946abf8","datavalue":{"value":{"entity-type":"item","numeric-id":589393,"id":"Q589393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$8CF1B5B3-9762-4308-942F-E2E7F70FF115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$24AADE16-4A01-4CDB-B3D4-94470DA9C63F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8529e518825e01201d6433dfff1ec0f0d14f4ea","datavalue":{"value":"7069226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$C909DF91-4447-4BEF-87D1-E8F63430D7D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423741$4FCFC70A-7CDF-430B-8A1A-2A2EDF653F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6185950b344a09bbe92b8aa0e7187812c8a418c8","datavalue":{"value":"labeled transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423741$4BF1CCC9-B48B-41FA-BAFF-EA2F0E0EFDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423741$EA5CF3E7-0D1B-40B1-8487-7C08557E5DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2423741$97145868-AD74-43AF-AF37-730563B7AFCE","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":"Q2423741$85234240-9E37-4749-96C5-904D52F19747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"965eb53c3d5a8d55e72cec050d7228312702f5c2","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2019.01.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2423741$69C87CF2-C16C-4AAA-B52D-295485F66609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d2482122eea16d0feb9306e2be4f331ee8bb2d1d","datavalue":{"value":"W2910094226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$FB7795D0-7711-4516-8FF4-1C43F079E83B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$46101971-11AE-4E31-AA36-2A7A0D737010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$1B71F79E-F6CB-426C-97BE-DC26C489D3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdcd8c6e33c963f119b0f27089fc31ce7bb8c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4749207,"id":"Q4749207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$F78C802B-5FDC-44D7-AA91-4814DF540C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$29A42F8A-6B2C-43C3-BEA7-1A66B45D7CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13587f82224ebc2d5c8a0e1f19ddb3b39ae07a02","datavalue":{"value":{"entity-type":"item","numeric-id":4372017,"id":"Q4372017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$75C6B779-D717-4C86-A9A8-3EA9A8BEFE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$8BA96CDD-5E0C-4E18-9891-B4CD48F4BE9D","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":"Q2423741$B9164563-7616-4394-B823-84B97683C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0f0e98ebdeb675db66f0f31f28476587a22b93","datavalue":{"value":{"entity-type":"item","numeric-id":5216411,"id":"Q5216411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$C060724F-9AF2-4B5E-ACF1-05FF8B9955A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"689a359b14c7eaf1819996ce0a39be45acac584d","datavalue":{"value":{"entity-type":"item","numeric-id":2340255,"id":"Q2340255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$A9F74179-4A68-4FD2-9280-9B4A42EA35CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c9480c19454fbe3ecff51a7596c262c26989d9","datavalue":{"value":{"entity-type":"item","numeric-id":287028,"id":"Q287028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$E655B56E-FBF4-4653-BE39-DCDBC3789508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60a0579383499ae5dffd1b321a9bc22bc1b63e","datavalue":{"value":{"entity-type":"item","numeric-id":4791836,"id":"Q4791836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$89D6B3A3-FEC2-41B7-BB21-EBF8D277FBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaac5c0fa402168c0a2caf0bf0439a536599aa5c","datavalue":{"value":{"entity-type":"item","numeric-id":5395127,"id":"Q5395127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$58E5B19E-6C0A-4FAF-8947-E6809A7320F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6488fb725862b4c2b24eb655ee32753a59a64851","datavalue":{"value":{"entity-type":"item","numeric-id":2265806,"id":"Q2265806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$E957C120-7642-4D1E-B9FB-EA46626A9EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$1CD084A2-F3C4-4F86-89B8-5C1A2878683A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32657a877a04977d88e1402e1f6494c2aa3ce2c6","datavalue":{"value":{"entity-type":"item","numeric-id":793508,"id":"Q793508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$1E1182BE-0B87-4A22-A7F4-4F5A909E1206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f44c065b88f54f258ca55309a57b17721a7838d","datavalue":{"value":{"entity-type":"item","numeric-id":2502272,"id":"Q2502272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$F9A0886B-180D-4403-A849-E03E14D971B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac796153c4e11c5b4f023b3b9d7021d53122ce2","datavalue":{"value":{"entity-type":"item","numeric-id":4746777,"id":"Q4746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2423741$F820623B-54BC-4763-9E2C-25ABDA1B30DE","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":"Q2423741$35025CCC-627D-493F-83DF-3248945AA944","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"67f9cd0258b8d02c46a2d09f67a7d147cdaaa471","datavalue":{"value":"Q128536569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$1C0976A3-4FE0-4E88-A69E-3B98F1CDC4BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a45a9743f1add5a274c9c41b9c8b82788cbad00f","datavalue":{"value":"10.1016/J.JLAMP.2019.01.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2423741$29A5002A-EAD5-4D49-BD34-F20E424B3A64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2d0aca7686c279f36a053596fcb784b15ff8c","datavalue":{"value":{"entity-type":"item","numeric-id":5216411,"id":"Q5216411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d951674c688b42aad1255852998d63860f3ca5a5","datavalue":{"value":{"amount":"+0.8880741000175476","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":"Q2423741$68D4980C-7079-4FB4-A8C3-EB827E8E5F50","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":"2f075d540069bb625b7d169f91d286376204d3ce","datavalue":{"value":{"amount":"+0.8589596748352051","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":"Q2423741$0D7C10BD-1517-4A89-98AB-925049652589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae59a4cc47fe1e1086ddad945bc27d2f01f42cc8","datavalue":{"value":{"entity-type":"item","numeric-id":1424348,"id":"Q1424348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e8120d35bb3fddb385fe60a4dc77170adadb7f4","datavalue":{"value":{"amount":"+0.8199357986450195","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":"Q2423741$559EA8CA-882D-433A-88AD-3296EB80E5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc479ecdbb30dc84b0c659d58072bc2b60e3aaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3823122,"id":"Q3823122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aaca8a294aebabf5db35829c500d3549d6b6af5","datavalue":{"value":{"amount":"+0.8069892525672913","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":"Q2423741$5D2FCB8A-7B29-483F-99D2-B306E9CA7F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11fcfcb53fbf6f93a2a0669f29389fa611462d","datavalue":{"value":{"entity-type":"item","numeric-id":4222898,"id":"Q4222898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2765d5a24db31810e110fcc8bac5af3644c9587f","datavalue":{"value":{"amount":"+0.8049201965332031","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":"Q2423741$7C552B0D-44DF-4533-AE4B-358BE1913BA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Keep it fair: equivalence and composition","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Keep_it_fair:_equivalence_and_composition"}}}}}