{"entities":{"Q801677":{"pageid":803525,"ns":120,"title":"Item:Q801677","lastrevid":64442469,"modified":"2026-04-11T19:53:46Z","type":"item","id":"Q801677","labels":{"en":{"language":"en","value":"Denotational semantics of CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880089"}},"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":"Q801677$B9DB5577-3723-49B6-A08C-43062ADF2A66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31c6b69c586e86d4f7ec83e53b676bfdf8c93836","datavalue":{"value":{"text":"Denotational semantics of CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801677$78DD4712-CEFE-4DC7-B9E6-85CC350C3695","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afdf13486361e1f7075edcd8bedc1a6aa9d61ff3","datavalue":{"value":"0552.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801677$801B7D5D-A71F-4A49-B144-F412F4DD7154","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8084a75a66321f627c1df3eda61b4ffb2312c8d3","datavalue":{"value":"10.1016/0304-3975(84)90091-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801677$705242C6-2E5B-4E49-90DE-306B87AE859D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97ed3b0664441e8d880d927898de01db2ab18f95","datavalue":{"value":{"entity-type":"item","numeric-id":796291,"id":"Q796291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$E726CBF5-F0D4-4096-B712-33DFF24095C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$0B7D1E39-EAF2-4E8D-B83F-0B07C3E844BB","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":"Q801677$CAA979BA-4EDD-44D6-BCBA-155C982A518D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04da160ecb73e902dd5fae27432ddcb8f49df5ca","datavalue":{"value":"In this paper we propose a new denotational semantics for CSP. The domains used in the semantics are very simple, compared to those used in other approaches to the semantics of CSP. Moreover, our denotations are more abstract than those of the other approaches.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801677$82383243-FDAF-4558-9DB6-104A2A03FDAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801677$4C661B2F-7609-4117-8323-EC520B77A37E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef766d74b9fc6a7a480ec217b970aea11aebc3d","datavalue":{"value":"3880089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801677$13494835-D869-451A-A03B-49422A88FF82","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q801677$47367009-17AC-43E1-9E59-68096D3C953D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c475d20e98fc61d455b8a7cedaeaa8bbb6697f3e","datavalue":{"value":"communications","type":"string"},"datatype":"string"},"type":"statement","id":"Q801677$60B9B390-3E3D-48FD-ABEC-849952DBD954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6265102f594a2eb65b1ef12cb534262a37f166fc","datavalue":{"value":"denotational semantics for CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q801677$4656CEF4-C92E-4271-956C-2DAE4EABE2CA","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":"Q801677$662CDFEC-6176-44ED-9BD8-5490ABD485BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5b3e87d060ff6249d508a834e715972d8b32806","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90091-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q801677$49266D89-482D-4010-9FCE-5F9DD88A57F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44eeab01b251c8e1c1ba89d3ac2f4290851b9ead","datavalue":{"value":"W1970532182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801677$C536444D-895A-4F92-BC5D-89DFBB724883","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08341059441af41c6921638de5b990f0ab22c6e3","datavalue":{"value":{"entity-type":"item","numeric-id":3907107,"id":"Q3907107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$CDE7470B-F7BB-4980-84A6-CED25D9AF1F3","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":"Q801677$0F9D3396-5D20-4EEA-A05A-BD459F3F8B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$E30BC5D7-FF03-4567-8D07-8898A4D0E8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"856b93e25e4d1d0f8f1a57ec0b7cae72b039f6ba","datavalue":{"value":{"entity-type":"item","numeric-id":4077434,"id":"Q4077434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$8D5EF056-FDE0-4FF0-991A-C48754CB6FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$167BEB17-5C45-4404-9E54-F164D22A62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52269c610adadcff26528deece015a685bb99129","datavalue":{"value":{"entity-type":"item","numeric-id":796298,"id":"Q796298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801677$7A908102-303E-46F8-B4AF-BD28DD5DB753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f68341a74474fd0f40521699244eb2c878c544b","datavalue":{"value":{"entity-type":"item","numeric-id":5709366,"id":"Q5709366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5700db33eea4d2acbea2b32b148e92c0656f693d","datavalue":{"value":{"amount":"+0.9230548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$AA8A4E7A-5803-4ABD-8F63-BB61000F0973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9cb3edec2623204e514b856a3a7357a8e81bb57","datavalue":{"value":{"entity-type":"item","numeric-id":3989946,"id":"Q3989946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae308f9be08abd5146bd6e4bb8857184443c9c0d","datavalue":{"value":{"amount":"+0.9165795","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$CECFBE21-A3D1-4953-8CDC-5CCC633A1716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539cad99d3956122b4e08c096fd75f5ac909c056","datavalue":{"value":{"entity-type":"item","numeric-id":1346621,"id":"Q1346621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71568e206810ef99a01abdc690a278dda5d71e7","datavalue":{"value":{"amount":"+0.9007362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$03868D5B-6DC0-4C0C-9928-4DA6BD0A6FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82813f9fe72e5561bdf5c46a4dba7b6480dc633d","datavalue":{"value":{"entity-type":"item","numeric-id":4312460,"id":"Q4312460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6698221520d626b414e912e4eef3b34354dedec","datavalue":{"value":{"amount":"+0.8891494","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$B421790D-791D-4A91-B3EC-A5603BF02173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1780b3ae624ca214df4b6da8ece5eb84057407ff","datavalue":{"value":{"entity-type":"item","numeric-id":3725526,"id":"Q3725526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8170109b2c3fa71e28ff49b8d51ef84651fbe3fa","datavalue":{"value":{"amount":"+0.88205755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$751BAF33-A805-4386-99B2-449ED7F6DFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e858bd0a4d354a5150db7d987536d9a5e259f1","datavalue":{"value":{"entity-type":"item","numeric-id":6164471,"id":"Q6164471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc09ba2393c18f9f4202fc93d5389e2368476e6","datavalue":{"value":{"amount":"+0.8800293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$B8D2FFE0-C9EA-41E2-B84B-6A87DBF713B8","rank":"normal"},{"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":"50601f13978fba8a563f4b511ef104dfcfc7693d","datavalue":{"value":{"amount":"+0.8799101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$FDF0A295-6162-4272-B2DE-2DAD4DC8DA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2c774ca9b0f9df5f8039be1616a2826127037a2","datavalue":{"value":{"entity-type":"item","numeric-id":2787446,"id":"Q2787446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24bb4d25e3284744b2e3ba05817aa70beea147eb","datavalue":{"value":{"amount":"+0.87687373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$D9973CDE-656C-4E74-8361-1334DBCB9396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f93ae55d8524360a2c79a34c241cddd6e8e982b","datavalue":{"value":{"entity-type":"item","numeric-id":2576581,"id":"Q2576581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e68ba244835291c53f210250ec6593a8f284815","datavalue":{"value":{"amount":"+0.8738223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$6BE7B73F-F7BC-467F-84E1-ACE6F1104E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b0a70be28cb1c8fd328b8b190be6d0146231b95","datavalue":{"value":{"entity-type":"item","numeric-id":2130595,"id":"Q2130595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c025f1046ae8604af1d0fe972143f190364cab1","datavalue":{"value":{"amount":"+0.8735516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q801677$8CC75041-DB01-4924-931B-B60C9B7C5AFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics of CSP","badges":[]}}}}}