{"entities":{"Q1067776":{"pageid":1078528,"ns":120,"title":"Item:Q1067776","lastrevid":69771447,"modified":"2026-04-13T09:16:49Z","type":"item","id":"Q1067776","labels":{"en":{"language":"en","value":"Higher-order communications for concurrent programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3930331"}},"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":"Q1067776$7BDE0C87-CF83-4740-92B5-581EB0F7C083","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec2f0c1b87042dcbdfcad01196ec82c56d5bde5f","datavalue":{"value":{"text":"Higher-order communications for concurrent programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1067776$2A3E1645-FA69-4893-ABCA-8F7544B76F39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8317ccc08afe266f2ae76f3659614eea2b8ae518","datavalue":{"value":"0581.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$2E50FC61-8C71-436E-BE22-556123D9E4D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b1f8041bf0566468ba6b6c5285d9c6480eb6e03","datavalue":{"value":"10.1016/S0167-8191(84)90309-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$AE424FC7-7521-4EAD-82E0-F9DC501C3720","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067776$4F2E6C86-4D7A-488E-BD20-1ECC3C0791A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2ea14c02b03028ca3b818d6e28780112601632","datavalue":{"value":{"entity-type":"item","numeric-id":642540,"id":"Q642540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067776$1A4E878C-EDA3-4558-98DB-B6A4AB666D5D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1067776$31A751AF-CE39-401E-950A-B9BA57C78967","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":"Q1067776$13A82EC5-5039-4D58-AEAB-2AEF2B757470","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5b7d08795b190aeebab93075af67dfddce859dd9","datavalue":{"value":"The authors present an approach for the evaluation of recursive equations programs using communicating agents. The basic idea was first introduced by the authors': Complete Modal Theories for verifying communicating agents behaviour in recursive equations programs, CSR-128-83, Comput. Sci. Dept., Edinburgh Univ. Scotland (1983).    They consider communications which are ''higher order'', that is, they consist in passing ''behaviours'', rather than values only. Those behaviours are essentially computations, and their knowledge makes agents to improve their efficiency. The executions of the resulting programs have high performances, and the proofs of their correctness use those communications as powerful lemmas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$95E58542-B7A6-4167-9B0B-5EE68B02BE93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$E775B120-DA7D-426B-B92D-DA5D64342C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$C220B51B-E874-4184-B41E-FF2F2C9A1FA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f536aa4fb6dde4da3164fc21f309aad001064a0e","datavalue":{"value":"3930331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$AD49D877-6AB6-4848-A751-4231D286E950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f767086b182ae3a9a2af71699f7fe67292d243","datavalue":{"value":"higher order communications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$662425EA-3EF7-4185-9BB6-BA9E9628E0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856826ed672be6e08eb0029951f04f1da17c463e","datavalue":{"value":"concurrent programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$75498613-81A2-4A39-80CA-F02D3F2CA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44360df6888b92d56964de416faa4540bf3d896","datavalue":{"value":"recursive equations programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$E29D7270-3395-4D7F-BDA3-2AF3B200C13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bee9f9b7fc45283973498644607980c1a496ca7","datavalue":{"value":"communicating agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$A8F50B36-C168-400A-9617-09E5F23F5928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1067776$4FFE0D6F-6B1C-40D4-9E5A-228DBFA3AAC7","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":"Q1067776$1CE2E0F1-81DB-4ECF-A0F7-234E5F0AB646","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"422ab4e8d11fc628af7cc4dd4df441572fbbb71f","datavalue":{"value":"https://doi.org/10.1016/s0167-8191(84)90309-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1067776$9851971E-F0DC-4544-BE41-CC9F57ECB35F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a547385654510f72daf86da2fe69228ba4dffbee","datavalue":{"value":"W1983048023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1067776$88E3397E-8C32-4959-9378-06822EE09432","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f35d7b95c06dd70c7931c4ef53897eb31daa05a","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216ead460fbb80b00dabd688702740ce3856a6a3","datavalue":{"value":{"amount":"+0.728318989276886","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":"Q1067776$1E23E5C1-D739-484F-A7E7-A29053AC3CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d9a6cf67176eb8cca55e36828e16cff6436040","datavalue":{"value":{"entity-type":"item","numeric-id":5096859,"id":"Q5096859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216ead460fbb80b00dabd688702740ce3856a6a3","datavalue":{"value":{"amount":"+0.728318989276886","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":"Q1067776$02D79DA8-25E6-47AA-B9C3-CF251AF67DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbfa6cd7544caf686da453ac1c8c11269f32378","datavalue":{"value":{"entity-type":"item","numeric-id":3681910,"id":"Q3681910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a309a2e0b019d964aec8c064a5a98543bd20fc0a","datavalue":{"value":{"amount":"+0.7101826667785645","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":"Q1067776$5B3095FA-F8EE-448D-B3D4-CCEA9997F9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feb8016a5067725b3df14c74a69235ef6414d6ae","datavalue":{"value":{"entity-type":"item","numeric-id":3358717,"id":"Q3358717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"000831b58c75f5f4d1b9929d39668c0dac280b49","datavalue":{"value":{"amount":"+0.6982810497283936","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":"Q1067776$5D49BA31-C150-470D-8A0C-BC4A0F3E988E","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":"cc38e76aeabc915fe4df0869cf58526feda622cf","datavalue":{"value":{"amount":"+0.6967638731002808","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":"Q1067776$695990D7-D0AA-48C2-B011-229031286BC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order communications for concurrent programming","badges":[]}}}}}