{"entities":{"Q1821089":{"pageid":1831831,"ns":120,"title":"Item:Q1821089","lastrevid":49049665,"modified":"2026-01-06T12:50:56Z","type":"item","id":"Q1821089","labels":{"en":{"language":"en","value":"An improved protocol validation technique for a class of communication models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997705"}},"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":"Q1821089$7D81381E-5887-48BE-A3AD-C8840D4BB8E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa9cd7c5e7e891e3ff1776cf670bb9c9420b4a76","datavalue":{"value":{"text":"An improved protocol validation technique for a class of communication models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1821089$4CCA1335-509D-489B-9E6F-D12761F0AF35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dde957111cbd4b99e03c428445961030a8ddd602","datavalue":{"value":"0615.94014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$67A503C3-6948-4DD0-A641-807AD858854B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eb710fc65c59700aa1e1c8e66e4bc1fdb0fae0a","datavalue":{"value":"10.1016/0020-0255(86)90042-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$8A4FD780-2A2E-4A99-BB94-C69D5C457482","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"522638c113aa801ef56b80ce30455c66e3ce5237","datavalue":{"value":{"entity-type":"item","numeric-id":1821088,"id":"Q1821088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821089$AE8A2C0E-3E89-4773-9353-AEADD81A2D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d381581467c8571fc410ec08f5cd1962efbb53a7","datavalue":{"value":{"entity-type":"item","numeric-id":1199541,"id":"Q1199541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821089$319157D0-8B44-46F9-9FE3-B153C5B06736","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821089$A19F1691-3DEE-417A-B9AD-6C15B716F4B0","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":"Q1821089$B7509C5C-8659-41F4-B1BA-FE83A6732471","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"becc75a5ffd977dde056884b76d8cd9984696fd9","datavalue":{"value":"The topology of a communication network is often represented by a directed labeled graph in which there exists one and only one elementary path from one node to any other node, where nodes and arcs in the graph represent the processes in the communication network and the links between the processes, respectively. In this paper, we propose an algorithm for the validation of the protocols, represented by N (N\\(\\geq 2)\\) communicating finite state machines, in the restricted class of the communication networks with such topology. The algorithm can detect deadlocks and unspecified receptions, and saves time and/or storage in comparison with the conventional perturbation technique.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$566D5432-C354-4DFA-91E1-A5BA6CBAC8C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$EE5D9A33-A38E-4A4A-9C55-F29B290FBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$71AC7C1D-FEE0-4D2B-8160-1F1B5E9DB8D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f8c4c851b1e7ce5851548933e5495d05c6ed04d","datavalue":{"value":"3997705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$F1205608-639D-41DB-A546-FD2A3AE11D5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c930f97b9b3c074c3e138b4aee8ef9f1cbbcad","datavalue":{"value":"protocol validation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$E7ABC9EA-434C-456F-B887-3B98C5567D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc6e99ece20a587719774dd4ca837c5ec6cdcceb","datavalue":{"value":"directed labeled graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$85773FCE-94C7-41C0-B204-F0D69C9BF658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77f3393ee1bf5e04c83e196aa8891cae0cc3cb71","datavalue":{"value":"communicating finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$5035C6E8-8209-4897-9E5B-9759385A48F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1fd83a2bd7a024100d3e8759482c241a2d42c0f","datavalue":{"value":"communication networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$2803FE25-5143-4531-82CC-FE40343DA951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$B2DBA731-1F92-46C8-BDFE-DB5A0DC949B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9a6aaefc6b8b4a31a4503712ed9a9e2b300d87","datavalue":{"value":"deadlocks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$90985808-10FF-41A2-8DD8-016575D10A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81fcad3beb60a7f62f1dbcdca789a3d9c37e6400","datavalue":{"value":"unspecified receptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1821089$625D47DC-65B3-4FF2-B283-1DB9812D2A60","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":"Q1821089$DC64C51C-2042-4C39-977B-2014255EE10E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"152b0000e26ddd5f0f2539b25179969402483c73","datavalue":{"value":"https://doi.org/10.1016/0020-0255(86)90042-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1821089$FD59A86A-DC78-4511-B4E2-109B25EF4933","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79c7215f69f23747fe204ba1de987c92e5049a9c","datavalue":{"value":"W1969681990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1821089$B0413996-20C4-4BF4-B023-2B0CB97D7D9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca2c70313d1144dc7b70c75e2350828fdb0fc9eb","datavalue":{"value":{"entity-type":"item","numeric-id":3962470,"id":"Q3962470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1821089$A9F6B069-CDA3-43F0-B6AC-2336A505ABFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"011da9fe8e28030487f6e928b5cacd8552997d43","datavalue":{"value":{"entity-type":"item","numeric-id":4473980,"id":"Q4473980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4374f7a5a4046213d269aec7f6cfe0f2e3fb46e3","datavalue":{"value":{"amount":"+0.7943536639213562","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":"Q1821089$E6739851-88DA-482E-8D66-021A91A7DF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"974a9093085061c3d5ecbb0d1ac98f1e05f49ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3696532,"id":"Q3696532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cad83003c198eaee68c2bacccbbfbe1e2b7d05e","datavalue":{"value":{"amount":"+0.7722784280776978","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":"Q1821089$0AD70B7E-D5E3-4B42-8CFE-2E0AB123EBB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"887a076b6d4f896f1fe32c094367ffbbeaec0d56","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b2ea7aeaacc26b373df1c8218bf6fd284545f1","datavalue":{"value":{"amount":"+0.7636317014694214","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":"Q1821089$DC620561-C390-451A-BBCF-F8D9D139444D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a734d777a690e44f39f65fbbbf061bc58a0e6d","datavalue":{"value":{"entity-type":"item","numeric-id":4017601,"id":"Q4017601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867dca1ba35926ba915ae730394de7650d07b171","datavalue":{"value":{"amount":"+0.7423917055130005","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":"Q1821089$6B836D75-0C1E-40F7-B87F-03F72B174A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26bf4f5d69d17c3f3d0cdbc9e15c39c90b88360","datavalue":{"value":{"entity-type":"item","numeric-id":5184418,"id":"Q5184418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b9bf5be3fabde4ae4cd1ae4ba973ed41d40b89","datavalue":{"value":{"amount":"+0.736953616142273","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":"Q1821089$31B1CF5B-F20E-44B2-85D1-E5F1AF0D6FAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1821089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1821089"}}}}}