{"entities":{"Q1104744":{"pageid":1115493,"ns":120,"title":"Item:Q1104744","lastrevid":49180717,"modified":"2026-01-06T17:32:09Z","type":"item","id":"Q1104744","labels":{"en":{"language":"en","value":"The derivation of graph marking algorithms from distributed termination detection protocols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056990"}},"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":"Q1104744$5F39A222-1D94-4036-BB1B-7B89AFF54D04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef7546854179d03076aec14ec19fcda837f46323","datavalue":{"value":{"text":"The derivation of graph marking algorithms from distributed termination detection protocols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104744$9BBEF700-F697-44FE-BBF9-0C20518FDC13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b24ce0656f3de9e2cc82f95c0707a9144ddd0fca","datavalue":{"value":"0647.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$AB6914E5-AE99-4C4A-9A5D-BB0140CF42E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3378f5f5325d18a629a1cd25f60b582811e2c109","datavalue":{"value":"10.1016/0167-6423(88)90024-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$8F60990A-7E2B-4069-98CA-FEC3CC7C9C56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e5ab8da2bc304326b4fffcb7fc9eca76bf7a0e","datavalue":{"value":{"entity-type":"item","numeric-id":916341,"id":"Q916341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104744$0AE75A39-66AF-48A5-83BF-FA45CEA75152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"665cea1ac049fad02d3990496a44dd0a8e274e27","datavalue":{"value":{"entity-type":"item","numeric-id":226814,"id":"Q226814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104744$30BDD0CD-08D5-4954-8F62-631C9BC89006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"941ae452fdd381d259af5a517a03b54a56e10b77","datavalue":{"value":{"entity-type":"item","numeric-id":418789,"id":"Q418789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104744$46D14340-005D-46FC-893E-3F9BAB46FF34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104744$70CFB2B8-B831-4DFC-838D-3084528F3BD4","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":"Q1104744$5E74316C-CC66-446C-8227-1FB535B2053C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a3b8292199dff50dba45b45db5ad54fbcaf6432","datavalue":{"value":"We show that on-the-fly garbage collection algorithms can be obtained by transforming distributed termination detection protocols. Virtually all known on-the-fly garbage collecting algorithms are obtained by applying the transformation. The approach leads to a novel and insightful derivation of, e.g., the concurrent garbage collection algorithms of Dijkstra et al. and of Hudak and Kelle. The approach also leads to several new, highly parallel algorithms for concurrent garbage collection. We also analyze a garbage collecting system due to Hughes from our concurrent perspective.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104744$2EA25ADE-9FD5-4D3D-B338-45C1A22B0F52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$212F8394-7CE5-4761-B2BD-C42B2CC63780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$2901A8BD-0D1B-4041-8EDB-AA1E474452F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f9933c0c368ed97d1b5097bf0f1bb3a22c7da4","datavalue":{"value":"4056990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$CBEC017D-1BCB-490C-9746-496422CEA4D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c8437fca806b5ab551e68848e0b83dac061c0b","datavalue":{"value":"on-the-fly garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104744$067FDDE3-E964-48DC-AFDE-1D4BD356A430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4116ad649f5c411cb89b4dcc13efb895c5ddc91b","datavalue":{"value":"distributed termination detection protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104744$887FF0F2-9243-472A-87DB-CD955FD4479E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24f69b9d136f7c8c4e23f5ade48c4d1ec8627487","datavalue":{"value":"highly parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104744$70C66D5A-2C66-4F44-8B18-5D25111CE91D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8f89231a25ec4ac13550ca5442ecf100fe02605","datavalue":{"value":"concurrent garbage collection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104744$8824537E-B7EC-4EE5-9305-B7B943382D74","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":"Q1104744$6A6B6264-83D2-4F64-9B97-60F96E054D56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a9ac3b4d76758abeb72335cd59158be71e940ac","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90024-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104744$8131F26D-0841-439C-903F-B0E73C289B87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6548b718d943dfb16a24054567569535609a0fe4","datavalue":{"value":"W2058841903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104744$41ED08CB-7E35-4EC6-ADB7-2B5F78482AB3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa43f87366bc44ddf8a86e98107138610a1c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3753473,"id":"Q3753473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07d106edeffaf987a9bd2927f85a2c60f725c97c","datavalue":{"value":{"amount":"+0.9097952246665956","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":"Q1104744$9BF8403C-09F9-4850-8228-4478EDA729FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c26ccdd54d1799b7135e797b6fa0d51f32ca427","datavalue":{"value":{"entity-type":"item","numeric-id":4723286,"id":"Q4723286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a332874f7b0a45d67357e3547c468078cdee4cee","datavalue":{"value":{"amount":"+0.762662947177887","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":"Q1104744$79CAC883-FD9D-4CD1-BE6A-60DF9BC9131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd44ae41da45badf8e4816b205213e7bdf104fb","datavalue":{"value":{"entity-type":"item","numeric-id":1189858,"id":"Q1189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7c49b5043207396238a944bf5a86df9abda38c","datavalue":{"value":{"amount":"+0.7542118430137634","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":"Q1104744$70F4D395-FC9B-4F9B-9394-FC9961AF695F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2238e318f4ffe3ac60ece7f1b64bb7a39dcc64ed","datavalue":{"value":{"entity-type":"item","numeric-id":4438773,"id":"Q4438773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ee5419b963951410c52cf40a8cea42a444c5a1a","datavalue":{"value":{"amount":"+0.754105806350708","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":"Q1104744$73A9D8F8-25F4-47F2-94DF-884369DA3871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d0b4fb762a78b067935ebce779e88179886bc9","datavalue":{"value":{"entity-type":"item","numeric-id":3321450,"id":"Q3321450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0998859078eb4e0a8465eac1fe7002acf6d296ab","datavalue":{"value":{"amount":"+0.7513957619667053","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":"Q1104744$1D6F8C06-11E4-4A21-BC12-7D07A45A89AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104744"}}}}}