{"entities":{"Q1098296":{"pageid":1109048,"ns":120,"title":"Item:Q1098296","lastrevid":66126060,"modified":"2026-04-12T07:43:28Z","type":"item","id":"Q1098296","labels":{"en":{"language":"en","value":"The synthesis of communication protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037205"}},"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":"Q1098296$CE032D9D-EA92-48A2-9011-6B9BF1F94B38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c12b795d6e9939d9997b482a22ccb56a28151080","datavalue":{"value":{"text":"The synthesis of communication protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098296$E0C37D49-6C70-4357-ABBA-DE8934971B7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ff1852f5a1153cedfb8ab17b97cb21d406466d4","datavalue":{"value":"0636.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$99849D74-C159-42D1-92D8-4849F1F3A234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d1cddc83372ef7082e800c0c4933b5769238b5","datavalue":{"value":"10.1007/BF01762126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$B29006D7-6406-4BAE-B4BE-C17EF6F8DC8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$09E4EA75-DABF-49A8-9EBB-268F53F17A3E","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":"Q1098296$42B9F361-794E-4723-888C-CE5192CB3ABE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5bcce3f7972ecdb88878d2f76ef9262e22876d53","datavalue":{"value":"We define a notation (specification language) for describing desired patterns of communication among components of a distributed system through multiport, unreliable channels. Our language specifies the network topology, and the kinds of information transmission desired. We give a polynomial-time algorithm for determining whether a specification is satifiable; our algorithm can actually construct a protocol that achieves the specified exchange of information, optimized with respect to two possible criteria. Examples suggest that our method can automatically synthesize reasonably complex protocols.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$B0B3A497-BA4A-46E6-99D1-D91D1937EF67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$9891AAD4-B1B7-44D6-9544-7EF0F36BFF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$F5EE7164-6BC1-4558-8040-D189E14269DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$614355A7-0A4F-4662-9D8C-19BC19B77611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$0304C882-44C3-4E8B-9B9A-8D8A775F42BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$7B71B782-BC08-4F95-B860-DC0049765874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$AA8FF82F-28AB-4E6D-BE5D-247B71231B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45dd3dedc90045c15737f2b009345e13cf0a6624","datavalue":{"value":"4037205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$5531D322-C1DE-4F8B-B9C7-A02E7E78DBA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d85229efb96551d3710305f181717fe8b8c05b11","datavalue":{"value":"communicating","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$4657045E-A900-4617-8D63-9A606F4DADD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$C736E0A2-EB22-425B-B4A9-EB507FA690C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4585a26b6f23818bd88a356bbde9dfd08e3b011","datavalue":{"value":"communication protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$E350FDCE-4093-4003-8CCA-5EDA60F03BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b9a3e1959a93c527b3644a5bed18aec005391e","datavalue":{"value":"synthesis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$D79A7786-8F17-4355-977F-EF7EC465AF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fec518651c977169b54c20fc6d60f6b1fbf2fc9d","datavalue":{"value":"knowledge logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$E9E7F504-9A76-4FDE-BA28-9C1B6E0FD35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$A8EEA5E2-882E-4861-BCA2-654B7B3D3BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$94B2E522-5E56-4085-B095-55EABE82107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2363d166b5b9fc791a0d6228cc5a474e45585fdd","datavalue":{"value":"polynomial-time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098296$2A02E4B7-13B9-495A-BD76-9FA63562A276","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36388bd54a9e27c6dc605780ab4e2512fef7d078","datavalue":{"value":{"entity-type":"item","numeric-id":269328,"id":"Q269328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$FE430232-CA3F-4696-BE10-326F729F2952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4703623e4fcbefcd3931d7b75f8faed8c58b1ed6","datavalue":{"value":{"entity-type":"item","numeric-id":222484,"id":"Q222484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$E526BB6E-E556-4D6E-8EC8-F6E88A0D765E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6337e4ea94678e989a743c0ff571f74c0a87a000","datavalue":{"value":{"entity-type":"item","numeric-id":919816,"id":"Q919816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$E1C16F43-8BAD-457A-8D7B-26BF522B84EE","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":"Q1098296$5D0BC75C-5619-4B67-858D-233591D3812D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d2d1adfae1b81eef721cda5469b95a291ba93d8","datavalue":{"value":{"entity-type":"item","numeric-id":1082071,"id":"Q1082071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$87690EEB-0065-4387-962C-26426AD1589C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e8740e208870b99b901eda211b81858055fae2","datavalue":{"value":{"entity-type":"item","numeric-id":4302840,"id":"Q4302840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$A999155A-2BF7-4B71-8E40-506EC5C36D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$E449AF94-F40F-4EAB-98BA-131E9FEFD680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4785285178f81f8333b97a6119b2b0e8598e52b5","datavalue":{"value":{"entity-type":"item","numeric-id":4184295,"id":"Q4184295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$78FEFCD3-F1A2-4835-9A64-F7B4A7B5EE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$2B6B95A4-2E7A-4131-A989-2B8468994DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d4ff0ae86125fc073ba1153e5f029193cd4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":4065570,"id":"Q4065570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$28719ACB-1CD0-40EB-B1DA-4E29D38AC9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$380C6E47-5204-4D10-8400-F2A166820C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88dd9161c67ef19acba698eee6401eab31e2fdda","datavalue":{"value":{"entity-type":"item","numeric-id":1098296,"id":"Q1098296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$B6248FBD-45D9-4805-A58A-280BCBED0CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a358a7e0cfe385397b6ee7256bfda7621794063","datavalue":{"value":{"entity-type":"item","numeric-id":3948585,"id":"Q3948585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098296$39E72B74-46E0-405C-A10A-E1324119BC2C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54689e26514b29f2a24571675b0e08d412b2a183","datavalue":{"value":"https://doi.org/10.1007/bf01762126","type":"string"},"datatype":"url"},"type":"statement","id":"Q1098296$4128B62E-52C1-4219-85CB-C2C8FFBE3F58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96bbd01213e3cc1031a9e9269991c4f327b447ce","datavalue":{"value":"W2002371579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098296$B8A0C8E1-2F37-46E1-8E9C-53F111A89819","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dfefc78e74a9cdd34f6e1283029c09f3e93acd4","datavalue":{"value":{"entity-type":"item","numeric-id":4603447,"id":"Q4603447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc5ac5b553d1b7c7e1fbbd59af3b16f99a1d9f8","datavalue":{"value":{"amount":"+0.7929028868675232","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":"Q1098296$E169CE0D-DCED-4D16-B489-217E9173FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a21f49308eec859348b5476913e2736fa0c41fc","datavalue":{"value":{"entity-type":"item","numeric-id":5138481,"id":"Q5138481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67c09d7baefad4e0145edce9e09cd97052cb7e6","datavalue":{"value":{"amount":"+0.7852993011474609","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":"Q1098296$C4723BD3-BB16-4E2B-801F-C58B96C772C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e6a42669f4913902ebad1cbdde3e446a1f0d30","datavalue":{"value":{"entity-type":"item","numeric-id":4942027,"id":"Q4942027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e541fe24ac0734039e7912411130362b523ae4c","datavalue":{"value":{"amount":"+0.7705162167549133","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":"Q1098296$E5BF1034-7A5D-469F-BB48-F37425F5E421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d13df939739cf9589bdee2e83b257e5cb2c830d0","datavalue":{"value":{"entity-type":"item","numeric-id":3776595,"id":"Q3776595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe1c9b5c993e255623c20fcc360700e428cb100","datavalue":{"value":{"amount":"+0.7669335007667542","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":"Q1098296$BF407B02-2396-4B15-8B2E-D57422355B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"736b0bd64937be8cd98093843457489de95893a3","datavalue":{"value":{"entity-type":"item","numeric-id":1322565,"id":"Q1322565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef0c11f9b840632a1e6a5908f9846eb4922b53b","datavalue":{"value":{"amount":"+0.7563900947570801","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":"Q1098296$FAC35C2B-B04B-4FD9-A514-E21C203E3869","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The synthesis of communication protocols","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_synthesis_of_communication_protocols"}}}}}