{"entities":{"Q1088402":{"pageid":1099154,"ns":120,"title":"Item:Q1088402","lastrevid":69613566,"modified":"2026-04-13T08:12:48Z","type":"item","id":"Q1088402","labels":{"en":{"language":"en","value":"Denotational semantics of communicating sequential programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3990851"}},"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":"Q1088402$AA791A94-D335-4DA0-93A9-CD90E4CF2DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b68125bf6d170daf60c461f4be77ae54a019e15","datavalue":{"value":{"text":"Denotational semantics of communicating sequential programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1088402$4BF4FC0E-0396-4F5C-9888-E25F7EDC1D91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba1ad6ca6b96f4b9fdae13eeec0a63002551186a","datavalue":{"value":"0612.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$A54A8D85-F5EC-466F-A1A4-D7BC8998C7F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa5911d9f721a329b2b3f9f7c25b2c4648d5806d","datavalue":{"value":"10.1016/0020-0190(86)90082-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$7671194F-9E0F-4A50-97E1-F43D73A565D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088402$8F17B65E-83D3-4EF3-B626-4BE5D9ECC5D4","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":"Q1088402$AE8D84BB-EE71-4D23-A1D5-BC7BECF84952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1088402$1AF517A5-7C50-4B94-8AF8-54AD18F60FFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dba34345d0eac7060ab579c20e92f8040c259907","datavalue":{"value":"The language CSP (Communicating Sequential Programs) of Hoare is an elegant notation for the description of communicating systems. A denotational semantics of CSP is given based on a mathematical functional model of communicating processes by functions mapping for every initial state an input stream, i.e. a finite or infinite sequence, of offers onto a set of output streams of reactions plus a final state which is defined only if the program terminates properly. An offer is either the request for sending the value of a variable or the offer to send the value of a variable. A reaction is either the value of a variable requested or the acknowledgement for a value offered or a reject signal. The reject signal is only given as output if an offer cannot be accepted. This gives a very general view of communicating processes as stimulus/response systems. The main purpose of this definition is found in serving as a reference for specification and verification methods.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$804379D1-E62A-4711-A210-C05E9ACA91A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$B2748926-1C88-4156-9930-ECC3798357C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$9C1E83E1-2F63-4F16-8F2D-FBC19A654070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$00AE01B6-FB9B-4DC9-BFEA-A75922B9CEBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8a3ed1844fe96d9b41e4256ece7eb1b9827f949","datavalue":{"value":"3990851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$6A847922-EC17-4504-9AD0-03807AC0FE5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c20daea7252f9c095b3dbe3c31aa39cedb2fb9e","datavalue":{"value":"Communicating Sequential Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$4A49FEF5-8AE6-49AB-943D-4A767B604B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1533885a6f24a657dadfdcd8850be8fba51836c","datavalue":{"value":"communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$6AFB41C1-C6FA-4FE7-9D0F-2BFEF68B009C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$04B52A89-020F-48BB-A2F9-4A98AD7AD4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$BE9E6B0F-41C3-44B3-9F5A-E6417D16A694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb30f6fb39388d1fb612150f5e69372740c7cc58","datavalue":{"value":"communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$578BC4B9-7968-4B60-8183-178959D60687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dacb5a9601d3b45f9caea5e88beb1855a4949e56","datavalue":{"value":"stream","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$08ADECF6-7EE2-4DCE-B705-087516BC87B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$EE13C3B3-5B58-45C1-B308-6EC1090BE78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1088402$7712D57C-E6F5-4A38-A59C-31EFB0F36A94","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":"Q1088402$A6FA0E5A-C9E7-47B0-9754-50A417B24AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fddf4a63436896e66d1f170edb67b8f27322688","datavalue":{"value":"https://doi.org/10.1016/0020-0190(86)90082-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1088402$537E65C4-C8D4-4C63-9DDE-4E9055E8DAB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b18a6980e3dcce662652accb0ae86069526b854","datavalue":{"value":"W2084426999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1088402$BA502BC6-BF01-49FF-9E5B-75D22AF812B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fcedb27f76af57f2932afc76a3a085b3d11592","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088402$1F4CE6E7-AFBF-49BD-8B9A-3DA491D47C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d10d39325e99d915044337685f61c3b5206d3164","datavalue":{"value":{"entity-type":"item","numeric-id":3347276,"id":"Q3347276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088402$67903FFF-6B97-4D40-827C-4D267C9771ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a612039d08dd1b39bf6eae6fa519ae89db00c0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3216137,"id":"Q3216137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088402$8151F980-B19B-43EB-93DB-94F51DB21A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e764bcaa3f10a7885ad757dc5e688d591a1fc064","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1088402$033CEC2B-258A-4426-931F-97C7113C08CD","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":"Q1088402$28E1AC0D-378D-484E-846E-AF44B0AF39D6","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":"Q1088402$F0FF481D-474B-4C82-A922-ADA1DB070B7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2f43f3c1d7f1803db56b806bd0f20e0c169a7c0","datavalue":{"value":{"amount":"+0.8243088722229004","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":"Q1088402$9B51B23A-ED29-411F-A414-98C8E3B3661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dfcba4652c65582e7e00a2f62ec5f6e2e872fef","datavalue":{"value":{"entity-type":"item","numeric-id":3725533,"id":"Q3725533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d0f486b3773fe5993036ce21b134397bc136016","datavalue":{"value":{"amount":"+0.8143163323402405","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":"Q1088402$23B185F1-F94F-453F-9758-E706E5C650F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"840da888fbbe566bd49f06baa9bf6e8ea14d2110","datavalue":{"value":{"entity-type":"item","numeric-id":3030244,"id":"Q3030244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f2f8bce466026156cfa11e82b2c0aa8715432e","datavalue":{"value":{"amount":"+0.813782811164856","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":"Q1088402$23D022CF-A078-4562-9E29-60B1BDD9331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0274f08ec493aea99c7ba922bdb7c0584f5736","datavalue":{"value":{"entity-type":"item","numeric-id":1901127,"id":"Q1901127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe70e63fc5f210a5bc822a55f2a033c080d699e","datavalue":{"value":{"amount":"+0.8132894039154053","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":"Q1088402$49332361-4273-4C92-881F-6B245613A9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaf608f97117af5b5e69dc2264c563d8c76828a","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56f27f2c57cba67d77ab2e710cd4f8a3ac4e83b0","datavalue":{"value":{"amount":"+0.8088136911392212","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":"Q1088402$D304C9AB-2E39-4997-AD7E-6C3E905D46B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics of communicating sequential programs","badges":[]}}}}}