{"entities":{"Q1064053":{"pageid":1074805,"ns":120,"title":"Item:Q1064053","lastrevid":67039836,"modified":"2026-04-12T14:29:59Z","type":"item","id":"Q1064053","labels":{"en":{"language":"en","value":"Script: A communication abstraction mechanism and its verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919797"}},"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":"Q1064053$B33822F1-31E1-4561-A1AE-BE5DE898A162","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69fd6b25e7c7eea519a5e3a7f4c492ab4aee5e62","datavalue":{"value":{"text":"Script: A communication abstraction mechanism and its verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064053$79C5BAB3-0744-4B2F-96C8-8E141A52F819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67caad46f555266793fda949a57437ce5ed5efb","datavalue":{"value":"0575.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$D35670E0-F39F-47A9-ADC2-5EBBD1E14F34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd645ddbaa882090fedb68b6a42965180f0419f9","datavalue":{"value":"10.1016/0167-6423(86)90018-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$DB9BBC1E-E70A-4453-8A03-EB8CFC3ED0DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064053$5E9F5A62-FC00-4BF2-B12A-04E8BF3E9A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"89b7445cb5747840a864fe354f57254d7200378c","datavalue":{"value":{"entity-type":"item","numeric-id":329295,"id":"Q329295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064053$7007620F-73C3-4C47-BEA5-8A642283FAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8a6f9befc01f9157697996eb84c5c714472c06","datavalue":{"value":{"entity-type":"item","numeric-id":1159975,"id":"Q1159975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064053$6883EB27-C566-441F-9478-7770840F5632","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064053$D9E9415C-D53D-4D84-B1E9-7D180CBDCD99","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":"Q1064053$65B84121-727E-43F0-9666-B2C4745737CF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a41cbe4198a52f84ffa86866dab1112a13700a22","datavalue":{"value":"We introduce a new abstraction mechanism, called a script, which hides the low-level details that implement patterns of communication. A script localizes the communication between a set of roles (formal processes), to which actual processes enroll to participate in the action of the script. The paper discusses the addition of scripts to the languages CSP and ADA, and to a shared-variable language with monitors. Proof rules are presented for proving partial correctness and freedom from deadlock in concurrent programs using scripts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$F77B483A-28F4-4A3A-9912-C243CB3DA9C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$93F68BDB-7D5F-437A-8DF0-F5F77DCD748B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$0D723C36-4264-4480-BB5B-9E2BECC7BA94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c95fb037b151a3a5a23424981a39b0416c80b3ec","datavalue":{"value":"3919797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$60F5B63C-8D5B-4989-8C71-C95E339847EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e2a212da4f64aa801adfd01f28b573ee33d2ada","datavalue":{"value":"abstraction mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$E04E4DBA-94DE-41A3-AD50-7082CDF0FF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97cd046744d300a8bcff3a25d1a644cec0c15a0b","datavalue":{"value":"script","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$6E5EC721-6318-4B06-8D4A-FDD079195AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca294543ea3780670a82515025dbe289440d9f3","datavalue":{"value":"patterns of communication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$BDB0D027-BEE8-461F-86C0-9896CA41B9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7643333a12d8c83e8be0f28325a86eebe0c1638f","datavalue":{"value":"roles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$71ED9ACA-B11C-41C0-9205-D4BAA65F9BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e5da8d739bd6e8497332d812db4110025659caa","datavalue":{"value":"processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$35777B56-0854-49A4-AE06-C3EB04B432B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$5F22ACD4-0EC8-4509-A4F0-0CB5D0153981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44c4cebfff6ec3ba4cb953191fdbfa5e39e7389e","datavalue":{"value":"ADA","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$145D535A-A967-4EAC-9392-29BF05A48883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d682f49ebe4e332666c91605fc2483ffdc5219c","datavalue":{"value":"shared-variable language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$E0DFCBFE-24DF-46E4-A428-4BFD61C886AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$60239929-C7A6-4088-B3D2-9D1A5F845D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$4ACEF0D4-272B-4584-8CEA-D7C1E3D17420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064053$732A4DCC-7A17-4F9A-9417-544A996A8401","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064053$13DC00F8-271C-4799-9F5F-DE2D2B3157D6","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":"Q1064053$0D3FA312-655B-46BB-8DB9-C7B6B02886BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79fb8b474172b1e2d4f806fc43f2bcd65861bda8","datavalue":{"value":"https://doi.org/10.1016/0167-6423(86)90018-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1064053$2BD0A2E2-975D-4E72-A203-EE1CCAB3ABFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a471266d52b7b1c32b32d120f75479860e0cabc","datavalue":{"value":"W2174153543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064053$E5F63DAF-8D9E-493F-B739-140BE6BAE2CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc096aa5e6d8071d1709e35b485d2dfe5c21eb4","datavalue":{"value":{"entity-type":"item","numeric-id":3700822,"id":"Q3700822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b82618bdb4b7b4989177a892990fe09da4caf5","datavalue":{"value":{"amount":"+0.960500180721283","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":"Q1064053$93796744-BD37-47D4-87CD-A39EE3F3A376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5d0df6fe669a15d6b97018db584c41fd2f339","datavalue":{"value":{"entity-type":"item","numeric-id":3343421,"id":"Q3343421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b43b29d77233a7111a32ab25dc90071527337e","datavalue":{"value":{"amount":"+0.8151862025260925","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":"Q1064053$DEAD838D-0416-4956-B917-BA2F3536A182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899e993ea444de89a246a3c63b9df0783861a904","datavalue":{"value":{"entity-type":"item","numeric-id":3761680,"id":"Q3761680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c492fec3e71b41bc6d04d29e825bf1b6e99026c2","datavalue":{"value":{"amount":"+0.6883273124694824","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":"Q1064053$D3647723-70B8-4E76-BEF0-B32E7B93B98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf3b802854746f543248c7cffc414e0b4fbeec","datavalue":{"value":{"entity-type":"item","numeric-id":539423,"id":"Q539423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db175d4fce3231ce2bc1b39439ce1152036c2e0f","datavalue":{"value":{"amount":"+0.6878185868263245","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":"Q1064053$B5252EA6-2B9A-4400-83C0-7CBA67648F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57019058c87b32e54b0ef6ef2db5fa239cbd1275","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab73dad0de6c5ba5480ecb84fa2fdaa11de1ffd6","datavalue":{"value":{"amount":"+0.6846612095832825","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":"Q1064053$DE8F2DD4-74E2-40F1-8881-B30F99AD60EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Script: A communication abstraction mechanism and its verification","badges":[]}}}}}