{"entities":{"Q1079948":{"pageid":1090700,"ns":120,"title":"Item:Q1079948","lastrevid":66823572,"modified":"2026-04-12T13:06:20Z","type":"item","id":"Q1079948","labels":{"en":{"language":"en","value":"A model and temporal proof system for networks of processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3965427"}},"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":"Q1079948$2B69128B-12EC-4A5E-A88E-B8C0BC1922B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65c4ebbff26522743184c562666c5eda0a5f7ddb","datavalue":{"value":{"text":"A model and temporal proof system for networks of processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079948$5682D39F-EF09-4FF5-B650-BC2328A8165A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35d975b6fcf5626f3941109422f80207b3d5079f","datavalue":{"value":"0598.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079948$FC09F2A2-92FC-47FE-B5E8-B6D87C78AFC1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6d3a61622a0cc10a69cddaba9e13482692a766a","datavalue":{"value":"10.1007/BF01843567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079948$079A4A5A-5A39-416F-A4EC-91519F95E242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$2E449EC6-EF47-4C3B-B859-E90C493C9840","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":"Q1079948$92B59535-79AE-4479-B127-151FA8262DF8","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":"Q1079948$81DBE5C4-2CE8-46E3-809D-97DC32077B1A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1fac8040e9cc2328734ee23bdc718ca415104b66","datavalue":{"value":"An approach is presented for modeling networks of processes that communicate exclusively through message passing. A process (or a network) is defined by its set of possible behaviors, where each behavior is an abstraction of an infinite execution sequence of the process. The resulting model is simple and modular and facilitates information hiding. It can describe both synchronous and asynchronous networks. It supports recursively-defined networks and can characterize liveness properties such as progress of inputs and outputs, termination, and deadlock.    A sound and complete temporal proof system based on the model is presented. It is compositional - a specification of a network is formed naturally from specifications of its components.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$4822F676-76BF-4496-9D29-486031547866","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079948$31C16828-AB93-429C-AD81-B10D45B67056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e7c1e034d449ffa9904a914415cb600d69aa7f4","datavalue":{"value":"3965427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079948$CCDA11A8-05B4-4558-BA2F-795415FB8A77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cc05bccfdd81cd938c0809ce06c418d2fb13db","datavalue":{"value":"message passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$1CE66746-799D-4F24-9E83-B173A506F1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06d837cc7b659ada403891ea8c1b4da920045b7f","datavalue":{"value":"infinite execution sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$4236D504-FF5D-4E5B-8CD1-03C9A3085E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e9d63db4280a6075b0834c36167a703e85bf2b","datavalue":{"value":"synchronous and asynchronous networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$3A8C146A-EE09-4608-83DC-27F3D42FD9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbb94c6c984d21ba9bb7f538d309f513dd24943d","datavalue":{"value":"liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$2E950BC3-0B4F-4C34-BFF0-CCD630931B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$A7619EBC-5806-4011-BBFB-DAC2F36AAD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079948$BBA98A37-814E-436C-951D-5FF92F1CE41A","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":"Q1079948$7856321A-6B12-4822-AD9D-3A4EA5C0A044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$60D6E1EB-F93A-497B-9CB0-B9B06572746D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65a2252a8dc1b4ffdca34c16b9a92f44d942d857","datavalue":{"value":{"entity-type":"item","numeric-id":4138149,"id":"Q4138149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$5B4C3DA0-F6ED-4A43-8D98-9391253BB1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5c2b7ba3775d6670cc3f4433080eb488fd8ace","datavalue":{"value":{"entity-type":"item","numeric-id":4054644,"id":"Q4054644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$7965EDD2-0AB5-4046-9905-56C9ECC734FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f7e92412f6b79d84af77b11b1aebb79e0508b8","datavalue":{"value":{"entity-type":"item","numeric-id":4138147,"id":"Q4138147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$3A89D50E-4F14-4FDB-A2D8-7C9F6552B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0817097b6d61530cc9a7e9ec3f78c24eda4ab674","datavalue":{"value":{"entity-type":"item","numeric-id":1153686,"id":"Q1153686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$162A3B89-5129-4D26-86E6-64309BE0B6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$395A3D87-D1ED-4445-80F8-5E7407DB46F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$253E3077-94FC-4C9D-912B-CEE9BFF56292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ccc368591937b0e93f76ce0ee9913a83d02dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":3922150,"id":"Q3922150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$28F9DE44-9080-40C4-AA32-62624B47A079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92246ac82c738df3468587e50fe526912b5cfc70","datavalue":{"value":{"entity-type":"item","numeric-id":4485885,"id":"Q4485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$26B6E45B-3968-4B64-931C-11B1906FEE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b30414a1001a9931d42384218cd2f02a386959","datavalue":{"value":{"entity-type":"item","numeric-id":1064051,"id":"Q1064051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$54E0FD80-D07A-4526-A546-EDB43337DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d09ac8341f20c3c4429e655145dfc982a2df7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3745263,"id":"Q3745263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079948$12D48598-5051-426E-B983-0D03F2DAAEA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e74456e2128d278ffb531b86fe4fc86ca4651f3","datavalue":{"value":{"entity-type":"item","numeric-id":3745263,"id":"Q3745263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a834ceb1cb81d9b9d7655680618e79e4e53ca9f","datavalue":{"value":{"amount":"+0.9377944469451904","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":"Q1079948$9263228C-54FB-49B9-A86C-F3977EDFBDB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"876f6995aee1337445bbc34a648175b32643c560","datavalue":{"value":{"entity-type":"item","numeric-id":4296305,"id":"Q4296305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8957fbdd0fb12ab73ae85979223a391a233cb73f","datavalue":{"value":{"amount":"+0.8045469522476196","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":"Q1079948$C9D74C5A-55F1-42A7-BD26-787320DA3C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0680b57e9e38ffcbb8c1c3a7391f98c314f6418a","datavalue":{"value":{"entity-type":"item","numeric-id":4028359,"id":"Q4028359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84bfc5e9063839bec9339868a3a9ba3a755f0ab","datavalue":{"value":{"amount":"+0.7947237491607666","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":"Q1079948$50575E30-C77D-449C-96A9-49AA233ECF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8b584b0cfe1c54b3c766993597b000fdb2f573","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84bfc5e9063839bec9339868a3a9ba3a755f0ab","datavalue":{"value":{"amount":"+0.7947237491607666","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":"Q1079948$435F5FE1-76B9-491B-AEA8-91A9CC3E25D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b38509283653d8e94735d07512eb90465b5c7c7","datavalue":{"value":{"entity-type":"item","numeric-id":3725528,"id":"Q3725528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59e3ba82a679759aad6a408bb26981f879dd2d1","datavalue":{"value":{"amount":"+0.7903679609298706","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":"Q1079948$93E69B79-4837-437D-BF5F-1729A64BD836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A model and temporal proof system for networks of processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_model_and_temporal_proof_system_for_networks_of_processes"}}}}}