{"entities":{"Q1064050":{"pageid":1074802,"ns":120,"title":"Item:Q1064050","lastrevid":67039770,"modified":"2026-04-12T14:29:59Z","type":"item","id":"Q1064050","labels":{"en":{"language":"en","value":"Exposure to deadlock for communicating processes is hard to detect"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919792"}},"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":"Q1064050$593EDA4B-2A20-4133-A15F-EBA113CE9A80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfe34bf9e7084c5ebcd8e375ba044921e7d6d6bc","datavalue":{"value":{"text":"Exposure to deadlock for communicating processes is hard to detect","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064050$8D5521FA-5CD7-4AF5-B2D9-8330CA64AC66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2879079196b7c6bd8b188234eabda84f0a7122d6","datavalue":{"value":"0575.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$E21566C7-243F-4E2C-AE6F-5613C3762D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae6fedaa760d8fdbeec04553f8c7be218ea531c3","datavalue":{"value":"10.1016/0020-0190(85)90033-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$9C74F439-F30C-40AD-BD61-D3FF19F1EF9B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67f8e7e382c461b0f6699032d902087883fd9a72","datavalue":{"value":{"entity-type":"item","numeric-id":1064049,"id":"Q1064049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$A30DB421-4941-4E39-A86F-53073FD1D499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7521cac5a506b0931a386e57847cadd1c0f2c8c","datavalue":{"value":{"entity-type":"item","numeric-id":661068,"id":"Q661068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$AE869060-DF37-40F2-B97E-95B8305F474C","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":"Q1064050$D89EA84C-9C3D-4DCB-86EC-D1AC83056174","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":"Q1064050$A7A9CB8E-464C-4364-974A-5D4A8E3BE3A6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"488ef302ee00f76685002905e1b9d608c726c7db","datavalue":{"value":"It is shown that the applicability of global state analysis as a tool for proving correctness of communication protocols is limited. \\textit{D. Brand} and \\textit{P. Zafiropulo} [J. Assoc. Comput. Mach. 30, 323-342 (1983; Zbl 0512.68039)] showed that reachability of global deadlock states for protocols with unbounded FIFO channels is undecidable. It is shown that the same is true for unbounded non-FIFO channels. For bounded FIFO channels the problem is shown to be PSPACE-hard.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$1224A956-4D58-4EC5-B70A-7B5484420912","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$DCFE2766-8DC9-4ED1-966F-707C02094A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$8DCE0E53-C372-4948-83A7-576EB38CE54F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa071290bf04ba336b19ceb3760f6f47d471cc38","datavalue":{"value":"3919792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$5539EE72-2A0C-4358-A99F-47C698E52808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$96E5FBA4-C5FA-46B0-85C8-3D4714A36AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$D9B8F908-9BE6-48DE-BE74-9145162DCAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84dfe43431ec67637b4bb0ea63c476b56cffa6b7","datavalue":{"value":"global state analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$75B9466A-A833-469E-A226-58E05CAF6792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e38a16dc374c353509b1b712c63f40e76e888cb6","datavalue":{"value":"correctness of communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$146B3E04-E963-4620-8398-84B338ABAED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a41ae01cb685eb3a7219cf566d4a4ccdd296455a","datavalue":{"value":"reachability of global deadlock states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$07E11476-B76D-4392-B949-320EDD982686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1aef040f8f380709f819586e2a47a738b99985","datavalue":{"value":"FIFO channels","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064050$F11C5923-1CCE-4A25-8AEC-BFE069098FA0","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":"Q1064050$C405BBF9-7567-46A1-94FD-26CE49D4623D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$916CA215-2F8D-40C8-B059-437FCE8E1B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e070e3158cbc9ecc3447d679b7025e6140b09bba","datavalue":{"value":{"entity-type":"item","numeric-id":3696532,"id":"Q3696532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$7FD08BCB-EC0B-4BB4-AD22-D5D59CBE0BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ce646df2ba4e62a5e63c3ad929d766750f3eb86","datavalue":{"value":{"entity-type":"item","numeric-id":1159976,"id":"Q1159976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$8E7EE2FA-9AFE-422E-BD78-6FC8E233BA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$1E98A56E-3683-423F-8D2E-C397CFE6CD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d545f7d41e7024d774be62f544f93fa28d4a96d","datavalue":{"value":{"entity-type":"item","numeric-id":1077153,"id":"Q1077153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$58C14C95-84D0-4DAA-BC06-FB62BBCBAE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064050$2868B4BD-AB0C-4AB0-B312-A2074AC7E1CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e91d32e3bdfb5aeec7eef96655557ac210e2491","datavalue":{"value":"https://doi.org/10.1016/0020-0190(85)90033-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1064050$90541132-5440-4640-B115-2AFF473326E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f381d54e1d2069ae181289763b00e112aeb42c4","datavalue":{"value":"W2160455496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064050$329D0F6E-4C1F-4ADF-931B-09B9C1770ED9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5276dde8f8346928878415d62eaebf168364a","datavalue":{"value":{"entity-type":"item","numeric-id":3780411,"id":"Q3780411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544dd55d9785ad317f87fa95774963e84da28fff","datavalue":{"value":{"amount":"+0.7967064380645752","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":"Q1064050$EE441324-AFF6-4F7B-B895-B65AF5C065B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa4dee41d93fcd94fa5a3036e40c98807202e0f","datavalue":{"value":{"entity-type":"item","numeric-id":1098622,"id":"Q1098622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a63fa704994b704b960f4eca1f95f3f320b5948","datavalue":{"value":{"amount":"+0.7767444252967834","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":"Q1064050$F96EB52E-D30C-44E2-9BEA-99119BE36B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409c70f02aac18578df15bcd918a7c2cc9ebfd82","datavalue":{"value":{"entity-type":"item","numeric-id":3700823,"id":"Q3700823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947f77ff8a56ff176d2f07a0ee8d2e0bd91199cc","datavalue":{"value":{"amount":"+0.7758371233940125","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":"Q1064050$C5952FD9-E0DB-4C64-BE73-63B23FCDFD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7aac3c49719a62e6069127be3499ae96bfebb5","datavalue":{"value":{"entity-type":"item","numeric-id":2638755,"id":"Q2638755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e571df5ef1c30d52383e150ca4ddfccf4c1c4c4","datavalue":{"value":{"amount":"+0.7642988562583923","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":"Q1064050$C8B8F3E2-1C7D-4F9F-A3D6-2ABB9C2632D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a196d9c5f3bff794461cf0bbea2064fec39a530e","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"214dc4b9c78961a76044edda2f41ecf964c95283","datavalue":{"value":{"amount":"+0.7603277564048767","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":"Q1064050$9738D3D9-E25C-4365-94D3-507B8C098BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exposure to deadlock for communicating processes is hard to detect","badges":[]}}}}}