{"entities":{"Q1822234":{"pageid":1832976,"ns":120,"title":"Item:Q1822234","lastrevid":73448760,"modified":"2026-04-14T16:02:14Z","type":"item","id":"Q1822234","labels":{"en":{"language":"en","value":"Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001460"}},"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":"Q1822234$A3A0A31F-51E6-4A43-BA59-4CEE3664B807","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1888b77236b9b7a359230b78ba45ac808bdfdbba","datavalue":{"value":{"text":"Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822234$037CACD3-1CCA-4B04-8A3E-ACB73A39A257","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b55e5b51f86b6c97cbd5069bb414cdcc0a0d4b0c","datavalue":{"value":"0617.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822234$9BCE1030-5D02-40BD-A269-E6688E7FB9C9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90850b0dedd48a5d4ba40637739e3c4eeab6cb8a","datavalue":{"value":"10.1016/0304-3975(87)90005-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822234$596BBE22-EF85-4EBF-92B6-672C6B7E7EB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c87bbeae8b6bea4f7ced9717f3e861af033eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1060836,"id":"Q1060836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$65A7FA87-F776-4BDC-B315-D84473D8D3E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$22EDA2E0-2FEF-402C-A280-75BB41788392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1822234$D1E59254-45C9-435A-BBE0-236EBDB3E893","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf20748488fe08f3e49c1c1e610e943fd8d92af1","datavalue":{"value":"A new version of the Snapshot Algorithm of \\textit{K. M. Chandy} and \\textit{L. Lamport} [ACM Trans. Comput. Syst. 3, 63-75 (1985)] is presented. It considers synchronous communications and partially ordered semantics and allows for repeated snapshots. Its implementation in the language CSP is described: it is symmetric, generic and bounded in storage. It yields a symmetric and generic solution to the 'Distributed Termination Detection' problem of Francez.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822234$7424CFAF-1939-4809-BBE9-7B77EA0C6127","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822234$3EE8747E-3EB8-40CC-88ED-425DE7257FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9609bad202192e576df6d9b0d3ce01928033747d","datavalue":{"value":"4001460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822234$8721D8CB-FDB0-4B0C-9324-EC3BDA31F336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf406b9a1cea9a28df1ba5c30155e00e642eb605","datavalue":{"value":"Snapshot Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822234$91BC7E1F-E2AB-4DF5-84F7-3288AE526EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db8dd1ac7942b2c5517fb70186da49aa07a7d70","datavalue":{"value":"partially ordered semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822234$DC462434-C0E1-468A-AB38-4EE0765FB46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27ec28ee89cda545ef71d5983b0992f6bed4add2","datavalue":{"value":"Distributed Termination Detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822234$55D33B4E-929C-4246-BBB9-8DC8E910F5EE","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":"Q1822234$799637C1-F7EC-4D50-B4A5-487C23BFC6F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498b327b471b58fb44c09c5dd8be9fc3be402e8e","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90005-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822234$20E7D018-EC07-4139-984C-0391F824C6C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b89a3e90f794cd5a47155c545bbe1cd554edc69","datavalue":{"value":"W1969548902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822234$31972D79-48A7-42B3-B156-3AA44607064F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bc98961d76a015a22f9e3ac21c1f2ac028b3c","datavalue":{"value":{"entity-type":"item","numeric-id":1094869,"id":"Q1094869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$63E31FE4-8E21-4E51-9524-4514AADF1623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c9a1ee22a38ac5f95a97b95055be9aae500679","datavalue":{"value":{"entity-type":"item","numeric-id":3681912,"id":"Q3681912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$23EBE0C1-E480-4437-AE32-0345906A1EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d8b3cdac03b1c4e3b31c5b2acc70b029f2415b","datavalue":{"value":{"entity-type":"item","numeric-id":1090104,"id":"Q1090104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$A67CFD49-8BE4-44DE-8ADC-ED7707B42F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"078e3085d615c3c4e1297f2b8b40b7ca2b29af32","datavalue":{"value":{"entity-type":"item","numeric-id":3700821,"id":"Q3700821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$86956AEF-3E27-4085-BFA0-CABF62BDF7BA","rank":"normal"},{"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":"Q1822234$BEB2E61A-D143-4C31-9984-D91E1312B13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37a58bd9932cd3b6d95c5998947bb0f09897e2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2216413,"id":"Q2216413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$EF3B7421-1806-4906-B247-147DD259A09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c734d797d1f4b152cb8689299f989908e205cc","datavalue":{"value":{"entity-type":"item","numeric-id":1142590,"id":"Q1142590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$5979FF5F-755B-4579-926D-D76397249CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7402b71ea4bbf991c01bf95776d9a52b2b5419","datavalue":{"value":{"entity-type":"item","numeric-id":3922146,"id":"Q3922146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$87628C8B-C280-4E46-B3F5-BB441250FFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2dd5c022bb1587ceb24edbf41e1663673e9804f","datavalue":{"value":{"entity-type":"item","numeric-id":3936178,"id":"Q3936178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$497D7351-D222-4E81-8F2F-69DEDF77AEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4a520a1f46b10b70d31beacbb5e1b11c78a2f48","datavalue":{"value":{"entity-type":"item","numeric-id":3929024,"id":"Q3929024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$D72C36E7-E360-465B-94E7-87E1EA94B21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$0DD46DCB-02ED-42BA-B8FE-E6940A68F56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$EFDF01AC-FD67-4C8F-80C8-28ED7A134A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef62ff5c3735b623337dd6ee5c26cec25598ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3938476,"id":"Q3938476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$8FF451F0-4E5B-48CD-9F7B-2C3E8593BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11ea5c2da66a2858bec19443b0c09c28f422dc1","datavalue":{"value":{"entity-type":"item","numeric-id":3657409,"id":"Q3657409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$B9F825F0-88D7-4CEE-93AF-17DB7CFFE12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be207dd7009328a21c4903d3ec7e8e4f1935ead","datavalue":{"value":{"entity-type":"item","numeric-id":1838283,"id":"Q1838283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$7AD849A7-779C-4B81-AA62-BB5F9870CEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79452d1b9a2a68083fc27a19f6aa7839bc810445","datavalue":{"value":{"entity-type":"item","numeric-id":3731015,"id":"Q3731015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$F0B94C65-415D-4C1A-864F-42CC335452C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$4E6E5ADA-A4A2-4A9C-B5E3-BCF23446F7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4f8b895580a1d7e55abef5c97f162c9fb06942","datavalue":{"value":{"entity-type":"item","numeric-id":3677158,"id":"Q3677158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822234$8536A010-1DBC-45E6-B56D-4FAEF4D4FD29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3af3d3c5bd6cf1a2c727822955a92e52259b33a","datavalue":{"value":{"entity-type":"item","numeric-id":1107971,"id":"Q1107971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80285ca6b90c4b2ab0ef6afafa2de3ff1a024f0e","datavalue":{"value":{"amount":"+0.804140031337738","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":"Q1822234$D23CAA7D-7B3F-4A97-B02C-093068622E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d07b1024c9f36fa42326487218ce130f322bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5501484,"id":"Q5501484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623346fa0cf5ce98c5f84617f42e7ec7530f09cd","datavalue":{"value":{"amount":"+0.7795146107673645","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":"Q1822234$21C6E70D-A81C-4DAC-B2EA-0F487F280177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8589d72aa1b9baff20efa98a42a7ad3008f67c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5711542,"id":"Q5711542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbea11ea24feadeb6beb703516458d482228ddd","datavalue":{"value":{"amount":"+0.7512164115905762","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":"Q1822234$67737380-0F68-43BB-ABB8-D74C1631E471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0e7f2559748284ac488f1746a3db873f2e08f6","datavalue":{"value":{"entity-type":"item","numeric-id":4268845,"id":"Q4268845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe40582398fcd60f7c878774147f43388b85978e","datavalue":{"value":{"amount":"+0.7448398470878601","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":"Q1822234$A18E8797-D47C-49F5-B663-D523838CFD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be64c7c4f140dbd6d6dffe13e2e7916e62b7cfe","datavalue":{"value":{"entity-type":"item","numeric-id":5136986,"id":"Q5136986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe40582398fcd60f7c878774147f43388b85978e","datavalue":{"value":{"amount":"+0.7448398470878601","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":"Q1822234$DE6659EE-66D7-4791-A1BC-826B6C29A26B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Repeated_snapshots_in_distributed_systems_with_synchronous_communications_and_their_implementation_in_CSP"}}}}}