{"entities":{"Q793508":{"pageid":795356,"ns":120,"title":"Item:Q793508","lastrevid":64423533,"modified":"2026-04-11T19:46:27Z","type":"item","id":"Q793508","labels":{"en":{"language":"en","value":"A fair calculus of communicating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3856386"}},"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":"Q793508$A9E4D47D-67DB-499C-94BE-F972FA3EFC22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4d79976861b8e4b7c512fb752383f32f28d84b4","datavalue":{"value":{"text":"A fair calculus of communicating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793508$B21C1798-CF67-4D90-9DF9-5667789C5B43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4871ee517417d92dc28c884cf1b454f724b5bd5b","datavalue":{"value":"0538.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793508$9A082A19-F040-458E-98AC-E3C27F1B94DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4eeca674ea518b4b5e087e716a294b3cf8eecfd9","datavalue":{"value":"10.1007/BF00271640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793508$C8A6F281-6680-4A54-B71E-C3DC4F2DBD94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b97cf78de40b88a7d10e29595ef89d14c9040b2","datavalue":{"value":{"entity-type":"item","numeric-id":760417,"id":"Q760417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$DD58D740-1C00-4DCE-9539-5B98C8A2452A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce81edf234ea7bfc3d1909d28c15a8f64492427","datavalue":{"value":{"entity-type":"item","numeric-id":578895,"id":"Q578895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$92666FB9-F22A-4B2F-8CFD-5E14207D7474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$0A656B6A-C0CC-486B-B214-5DD7CD436462","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":"Q793508$ECB805E9-769D-4E0D-9547-27517A2FF8C3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0b7bdb830c1af0e56638f9e7798c070acc475b46","datavalue":{"value":"This paper is a fuller version of a paper with the same title which appeared in the proceedings of 'Foundations of Computation Theory' 1983, Lect. Notes Comput. Sci. 158, 94-105 (1983; Zbl 0517.68050). It is concerned with an operational approach to fairness, the problem of defining and generating the fair execution sequences of a concurrent language. One solution invokes two semantic levels: one level (the positive) prescribes the finite and infinite execution sequences without regard to their fairness while the other (the negative) filters out the unfair ones. The first level is given as a set of generative rules whereas the second is encoded as a definition of fair execution sequences. Entirely positive approaches have been proposed which appeal to random assignment. Here an alternative positive approach for a subset of Milner's CCS is presented. It is shown that rules can be given for generating just the fair sequences which avoid random assignment. [In a more recent paper by the same authors, ''Weak and Strong Fairness in CCS'', Lect. Notes Comput. Sci. 176, 245-254 (1984), analogous results are obtained for a richer subset of CCS.]","type":"string"},"datatype":"string"},"type":"statement","id":"Q793508$78669A4B-2267-425A-9347-C1DBC2D3E77A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793508$E4188BB9-E72C-488B-B7E2-933B87D78713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e2f412278df60c81128d8297aafbbd26cda8ec1","datavalue":{"value":"3856386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793508$62250198-15D6-401F-9A4A-F57CF90F29A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9034476879a82e09e2410914307aeeff385da6","datavalue":{"value":"concurrent language","type":"string"},"datatype":"string"},"type":"statement","id":"Q793508$B116C426-C0B8-47C8-BD1E-49B9FF35F9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16af1d296eca0e139e610741b0a5f2e64ecd06ec","datavalue":{"value":"finite and infinite execution sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q793508$FD4E4DD3-51B2-422F-953B-734528B001D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q793508$2BAAFA78-E380-4264-A9E0-55069D7EE242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q793508$5822D603-5E23-4B65-8625-32E5936F86C8","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":"Q793508$B7A6CFE0-495D-427D-9DD8-805575F19498","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3ed42e6afa67e0a876b228125ab53413fe2a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1050109,"id":"Q1050109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$D4875118-690A-498A-A6B3-035FFAE77508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a0b30fcfbf66ed216e5240290803033a09cedd","datavalue":{"value":{"entity-type":"item","numeric-id":3343420,"id":"Q3343420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$B53EAC3C-A853-495A-9DED-B524C79C2DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94eb2817697c6370ed6321969409531b142c92e8","datavalue":{"value":{"entity-type":"item","numeric-id":1055190,"id":"Q1055190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$1A6768FD-C23D-46B9-84A5-2EF4765FF0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$62B97E9A-D518-4CB9-8BA4-3C6E56032DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$57E45554-4BA4-4924-907B-17FC2DA5A603","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":"Q793508$EAFD8987-F429-4E7B-BDEA-40162F5E6209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$1D22C47F-D4C7-4008-B65C-13BC7886BDE3","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":"Q793508$8B31762C-8F3C-43E1-919A-5D39C7444D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0be2d7a498e1fa1a8eec9f77d2e3dbc81e945234","datavalue":{"value":{"entity-type":"item","numeric-id":3906397,"id":"Q3906397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$E4FE6AFB-EC0E-4CC9-B1A6-560787CA749F","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":"Q793508$CA7E497E-7995-4ACA-87BA-4F05D3690346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c7ebd61f4066d5c4ae16e027b3ad20caac4caf","datavalue":{"value":{"entity-type":"item","numeric-id":3326820,"id":"Q3326820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793508$DE489A2B-E566-4225-A7E2-C78BF6B55931","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5635889e76ebd2a75c646cd2a443e2b38c657dbc","datavalue":{"value":"https://doi.org/10.1007/bf00271640","type":"string"},"datatype":"url"},"type":"statement","id":"Q793508$22F97CC2-FAC3-474C-93A3-CCE07ADECB8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66425d3c1cf6478c77828da1634ce440265e362b","datavalue":{"value":"W1998502978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793508$7B6FB7BA-9D40-49DD-ADF6-A48494C2CA72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8c4f2302fa55128f8d067ae67adffc66afa4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1822489,"id":"Q1822489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bdc6a5f5d89f948eb91d407c575ee3b5057f7ec","datavalue":{"value":{"amount":"+0.8502169251441956","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":"Q793508$7E3AA1A9-7BA1-436D-8CA2-A880C35B39BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1481691d8d3f2271cc1a5d242dcbdde2c35abb11","datavalue":{"value":{"entity-type":"item","numeric-id":3343420,"id":"Q3343420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ae97a7bdbeb59d8d76a08a789c9514d8e9a778f","datavalue":{"value":{"amount":"+0.8444965481758118","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":"Q793508$418E68E5-A498-47E5-896E-5CDEBCDC0D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8285d9b8a2394b27be1a3eeacbf5e23e3d87d88","datavalue":{"value":{"entity-type":"item","numeric-id":2866341,"id":"Q2866341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39106c4561e70558f7f4643f1199fdb7aee4ee86","datavalue":{"value":{"amount":"+0.8097829222679138","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":"Q793508$CA46CF34-DCAA-4FB0-99C9-00CB3B8CA117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2ffbe505978284d5befcbfe4ac705f22aec0de","datavalue":{"value":{"entity-type":"item","numeric-id":3700807,"id":"Q3700807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43d663f079f19866d685d1a6dec2387721e519c3","datavalue":{"value":{"amount":"+0.8030708432197571","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":"Q793508$15C6C495-8FE8-49C7-9B3F-E707322D2995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387f1464d6a14e667910d955641129124e344b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3677159,"id":"Q3677159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cb251c482766b4124de9bc8e8a0789105a85688","datavalue":{"value":{"amount":"+0.7961674332618713","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":"Q793508$B8FC855E-268B-4C52-9BAC-AD0DD92787B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fair calculus of communicating systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fair_calculus_of_communicating_systems"}}}}}