{"entities":{"Q1112596":{"pageid":1123345,"ns":120,"title":"Item:Q1112596","lastrevid":49228615,"modified":"2026-01-06T19:37:58Z","type":"item","id":"Q1112596","labels":{"en":{"language":"en","value":"A methodology for constructing communication protocols with multiple concurrent functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4078782"}},"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":"Q1112596$FBF43348-8861-4E83-8CAF-2112BCEA1D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f91160066c807ff5e9197dd2d432dee20170393","datavalue":{"value":{"text":"A methodology for constructing communication protocols with multiple concurrent functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1112596$EDB5D3FC-CF5D-4960-BD96-B035C5AE6EB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59c05d86d6412237948a7e75cecde6e4e29eac55","datavalue":{"value":"0659.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112596$731809B7-621D-4FF0-91A4-FFDF3DCEE348","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1117db47d75b042f4506941cb311aca572618feb","datavalue":{"value":"10.1007/BF01788565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112596$940D67EF-6AC0-401A-84DF-D0FA8DEAB3B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"febf3718132c61d0470a9e83714315f62102f480","datavalue":{"value":{"entity-type":"item","numeric-id":1112595,"id":"Q1112595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$EBFF6C5A-ED46-479C-901B-5123D94E0F09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$D9D6C1ED-A539-4076-9D1B-2AFA95DE864C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1112596$8A3D36A0-0912-4597-939E-DBBDA04594A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"403b073e3e702ea31f58dabeaba6bb0982fd9c80","datavalue":{"value":"A methodology is presented for the construction of communication protocols which perform several distinct functions simultaneously. The construction of such a multi-function protocol consist of three steps: (1) the development of component protocols for the different functions, (2) the integration of component protocols into a merged protocol, and (3) the specification of operational relationship among the component protocols.    The conditions required for the resulting merged protocol to retain the safety properties, such as freedom from unspecified receptions, freedom from deadlocks, and boundedness, of the component protocols are discussed. The methodology is simple and facilitates the reuse of existing protocols. Two examples are given to illustrate its usage: a full-duplex data transfer protocol and another data transfer protocol with pipelining and flow control.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$0F01BE2E-BC50-4CF7-9D93-2296C54753CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112596$45CC57C9-2D38-49F2-B405-B28FC849BFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112596$17A4C31C-F446-46E4-AF6F-4AB7FBDEDDE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c45e31b9a949995a19493df0d445665806c3b70f","datavalue":{"value":"4078782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1112596$A282C350-2EF0-4587-86BF-A1FEA4D9886D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cdc3c70553b05df1bae23b83b4d5c5ee719e930","datavalue":{"value":"protocol composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$E05584E0-39B6-4045-B550-AFBF1D7E5AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecb460e7f48b013750b12216fbed29cbe3d6d02f","datavalue":{"value":"extended communicating finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$047CB6BA-A8F5-4189-A1F2-9AE9CC0D6C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b356763d12191be9b2bf5892e548f8592bfd6c57","datavalue":{"value":"merged networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$CF9CF826-28F7-418D-883A-7FCDE03B1893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$66D142C7-D74B-4830-9F3B-AC4051E685F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1112596$6A2A11BC-BEF7-45BF-A4BA-127F654A7DF4","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":"Q1112596$F5AC7E54-6406-470C-BD93-6DD067C230AA","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":"Q1112596$E4BA0935-D27D-4EE2-8960-E1DC3794BDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ebfab5f8057529d468ab525e7a1fd22b37fae6","datavalue":{"value":{"entity-type":"item","numeric-id":4851541,"id":"Q4851541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$F3ADAC42-9871-4C3F-8378-ED52F9E790A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a7eaa91dd10a63c63543291b47baca80ced053f","datavalue":{"value":{"entity-type":"item","numeric-id":3339299,"id":"Q3339299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$C6058B78-2145-4C4F-AC56-AE38648CC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00c4a962f9e99ef72cf5ad5e884b86cfb17e25","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$33D9D265-82FC-4F5E-AA6B-C26871C565FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77e8a35a41b3668987f9431d96a3b3594b46ea","datavalue":{"value":{"entity-type":"item","numeric-id":1059399,"id":"Q1059399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$60DC276A-85A6-4BCE-A60E-568D748F4306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e08e646cc60a69173bacb6efb1dfd0d6227f05","datavalue":{"value":{"entity-type":"item","numeric-id":1819939,"id":"Q1819939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1112596$42D3C448-58EB-4B34-B7B1-F8DE15121A9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f88959216d4ec68293fac66bbb3f90968452d614","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc6418f26ff47f1e7e9c13a38e93216aa2e6c5e","datavalue":{"value":{"amount":"+0.7401147484779358","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":"Q1112596$47CCCCFF-A317-4740-A584-712221B42FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951cc434debc22ddf32582c2d952d0a8ff55b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4872111,"id":"Q4872111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187d7ae459b204c328c973dcf265bc6e5e728662","datavalue":{"value":{"amount":"+0.7119227051734924","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":"Q1112596$6909A720-EF71-4D7C-897E-F927AEF53257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2052f93036914af4511fd0fc22c87caf4cd1b1df","datavalue":{"value":{"entity-type":"item","numeric-id":5137870,"id":"Q5137870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"581968e960028bc54bbc11b2eb3e84ee8619da10","datavalue":{"value":{"amount":"+0.7097311019897461","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":"Q1112596$D37076BB-4F3A-48E6-A1C6-542AF8BB1872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5600fbf9f805c22caf88b750ead1087d6199c6a","datavalue":{"value":{"entity-type":"item","numeric-id":1801467,"id":"Q1801467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33406c8387ffb958f861e182059f5cb18337bf83","datavalue":{"value":{"amount":"+0.7001613974571228","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":"Q1112596$1C282520-A527-43C8-8E86-527B95757F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0a5a935f36cfec3947445d9ab730f1a843bda0","datavalue":{"value":{"entity-type":"item","numeric-id":4037376,"id":"Q4037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33406c8387ffb958f861e182059f5cb18337bf83","datavalue":{"value":{"amount":"+0.7001613974571228","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":"Q1112596$F6946891-8DA0-4699-9744-A76B52ABE89F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1112596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1112596"}}}}}