{"entities":{"Q1071496":{"pageid":1082248,"ns":120,"title":"Item:Q1071496","lastrevid":69787872,"modified":"2026-04-13T09:23:34Z","type":"item","id":"Q1071496","labels":{"en":{"language":"en","value":"The probe: An addition to communication primitives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3940708"}},"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":"Q1071496$F08883BD-1834-4D9F-86AE-CA4DDCA18C1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8dee209c6e1d3822c10c3b257b209dfb96bb98e","datavalue":{"value":{"text":"The probe: An addition to communication primitives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071496$1096CF2E-4803-4C50-AA52-69F0C2786992","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1f5e0d258be2ff94e1800b63cc1f04150669655","datavalue":{"value":"0586.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071496$A400A013-9D93-4843-847F-009EBBD99929","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d12fecbf0a595a8c2b5cc5790ad92114f1043a44","datavalue":{"value":"10.1016/0020-0190(85)90078-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071496$87A51332-38AA-4026-8BC3-331D26A358A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f3afe6a1a62a4538b2439fef487959c710cf5c5","datavalue":{"value":{"entity-type":"item","numeric-id":685121,"id":"Q685121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071496$C3A56E82-D4A9-48F8-93E3-8C5D9DBD7BA6","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":"Q1071496$23472BEA-FD1A-4596-B9AD-F123EDC9144F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q1071496$4E5F0713-B8EF-42A7-9A99-2C8D7659B431","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2a94b976b48cb8d56f4d0b811858693d2f2ead5","datavalue":{"value":"We consider a programming language kernel for distributed computation consisting of a sequential part - assignment, selection, repetition, recursion, sequential composition - extended with concurrent composition of processes and communication primitives. CSP and its variants are such a kernel [\\textit{C. A. R. Hoare}, Commun. ACM 21, 666-677 (1978; Zbl 0383.68029)].    We propose a simple addition to the communication primitives used in such a kernel. This extra primitive, called the probe, simplifies the semantics of the language by suppressing the need for communication actions in guards, while enhancing its expressive power. After introducing the communication primitives and their semantics, the use of the probe is illustrated by a series of examples. Finally, implementation issues are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$9159E05E-EDCD-4CD7-B835-DE1772557D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071496$B01CB41A-9C91-4B28-B277-119DE23541AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b1d8d6146fefb007ae11e47d53e46f3c4f1dacc","datavalue":{"value":"3940708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071496$6F109236-2DDC-47FB-9D6F-89229843B56C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f9d03b9a3627773c95c3293530403a5ca551eb","datavalue":{"value":"semaphore","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$53FC736E-C148-469B-954E-172C1ADAAA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84fbf782ab5bd1de6fe02fd4558f6867ae9042bc","datavalue":{"value":"bounded buffer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$060A5183-2345-4737-8FF6-60CBA4FF06D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"554b0900e884a95eac3b2b57073a827a6b3cd976","datavalue":{"value":"stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$F241C8D4-35DB-4450-BD78-3449637AEC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$02F5254E-CC03-44C2-B975-FA1E39DF1D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1daeac71f629a103e40b4fd91868ebe34e833d7c","datavalue":{"value":"programming language kernel","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$139DCB51-17B4-4607-9FE4-03447EC38E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"041699064e257232dfa745879e8d1649fa7ea2e3","datavalue":{"value":"distributed computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$BBCA24DB-5C1F-4175-9AA9-9948A2BDE2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e9a0d93c30124f154a3ba1be41329b333556d2","datavalue":{"value":"communication primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$7A477AA6-5C06-4F06-9682-998C479F2FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$8C3DAE84-1AFF-4133-926F-607958F461A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9086894c4f30a89fa4c19feaf3f19e37880d35b0","datavalue":{"value":"probe","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071496$60C723F9-5B2A-4CAB-AFDE-2CB8B84A63D4","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":"Q1071496$F86953D7-DEE2-402E-8DDE-DD984F092C82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071496$12224DB3-EC3B-4B1E-BBFC-04839A2ED452","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":"Q1071496$64F2EB67-FB16-4FF2-A9FC-7CAD6793DCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1622b2db02a142ab308fba3b5e3abe94d24c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1157157,"id":"Q1157157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071496$BBE9EBF6-3E98-41C1-9ED9-031D8AA7BF8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853dfbc5206e25adc793fe1d693ad8d9ea062e70","datavalue":{"value":{"entity-type":"item","numeric-id":1004386,"id":"Q1004386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc74a264910cc713ab9e55998f7487cfad31465f","datavalue":{"value":{"amount":"+0.6949734687805176","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":"Q1071496$93BFC2D2-A27F-4A85-8CE4-8276CDC3FE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9bd17106e153b66c8e9d2ca6d6342e7cfad65","datavalue":{"value":{"entity-type":"item","numeric-id":3316568,"id":"Q3316568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76bed295ece214b1344772a5c5e7105e16e43773","datavalue":{"value":{"amount":"+0.6810868382453918","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":"Q1071496$3F50ACB2-6CFF-4E9E-92F3-D11847CBD2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4451daa7b1602d07801f6098f514f6f6eceb06","datavalue":{"value":{"entity-type":"item","numeric-id":1091123,"id":"Q1091123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e2c6351a3fc61c1a41942609bdcc9cc6d7a3e0","datavalue":{"value":{"amount":"+0.677669107913971","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":"Q1071496$CEDB12F2-3ECD-4124-BB90-5299655C896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7f54ea452d6367560ffefd063b8ff24b89110b","datavalue":{"value":{"entity-type":"item","numeric-id":4723291,"id":"Q4723291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"109a6aedce25860e427bc0b06569442c89317755","datavalue":{"value":{"amount":"+0.6774730086326599","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":"Q1071496$8071EF1A-E8A0-4CB0-9782-79EAC0EFFD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64452f87b5ca2a6a98111772bff0b02d9bcf9070","datavalue":{"value":{"entity-type":"item","numeric-id":5184391,"id":"Q5184391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9855bb40d3448b839ddb5848bf9915155b24b0c6","datavalue":{"value":{"amount":"+0.6741679906845093","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":"Q1071496$1B88B2AD-3DF7-4ECF-865D-E252FDA1FE81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The probe: An addition to communication primitives","badges":[]}}}}}