{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T14:43:43Z","timestamp":1782830623750,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,6]]},"DOI":"10.1145\/3820355.3820385","type":"proceedings-article","created":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T13:44:14Z","timestamp":1782827054000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Convergence Analysis of Consensus\u2011Based Tracking Algorithms for Logical Time Functions in Multi\u2011Agent Networks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8566-1654","authenticated-orcid":false,"given":"Ivan","family":"Arkhipov","sequence":"first","affiliation":[{"name":"SpbU, St Petersburg, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-2584-7212","authenticated-orcid":false,"given":"Evgenii","family":"Krokhalev","sequence":"additional","affiliation":[{"name":"Sirius University of Science and Technology, Sochi, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3631-7347","authenticated-orcid":false,"given":"Oleg","family":"Granichin","sequence":"additional","affiliation":[{"name":"SpbU, St Petersburg, Russian Federation"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2015.2402106"},{"key":"e_1_3_2_1_2_1","volume-title":"Martos: Multi-Agent Real-Time Operating System. https:\/\/github.com\/IvanArkhipov1999\/Martos. Accessed: 2025-02-15.","author":"Ivan Arkhipov","year":"2024","unstructured":"Ivan Arkhipov et al. 2024. Martos: Multi-Agent Real-Time Operating System. https:\/\/github.com\/IvanArkhipov1999\/Martos. Accessed: 2025-02-15."},{"key":"e_1_3_2_1_3_1","unstructured":"Ivan Arkhipov et al. 2024. Martos Time Synchronization Example (time-sync). https:\/\/github.com\/IvanArkhipov1999\/Martos\/blob\/add-leds\/examples\/rust-examples\/xtensa-esp32\/time-sync\/src\/main.rs. Accessed: 2025-02-15."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 36th Conference of FRUCT Association. 843\u2013846","author":"Arkhipov Ivan","year":"2024","unstructured":"Ivan Arkhipov, Oleg Granichin, Ivan Akinfiev, and Vlada Smetanina. 2024. Comparing Time: A New Approach to the Problem of Time Synchronization in a Multi-Agent System. In Proceedings of the 36th Conference of FRUCT Association. 843\u2013846."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2019.00020"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPCS.2011.6070148"},{"key":"e_1_3_2_1_7_1","volume-title":"Queueing Systems, Volume 1: Theory","author":"Kleinrock Leonard","unstructured":"Leonard Kleinrock. 1975. Queueing Systems, Volume 1: Theory. Wiley-Interscience, New York, NY."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3519270.3538444"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.887293"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1239709"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.834113"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3235052"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.06.012"},{"key":"e_1_3_2_1_14_1","volume-title":"Michael Yiqing Hu, and Jialin Li","author":"Sun Guangda","year":"2024","unstructured":"Guangda Sun, Tianyang Tao, Yanpei Guo, Michael Yiqing Hu, and Jialin Li. 2024. Building a verifiable logical clock for P2P networks. arXiv preprint arXiv:2405.13349 (2024)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2017.2767045"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2024.3394051"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2025.3555260"}],"event":{"name":"ApPLIED'26: Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems","location":"Royal Holloway Egham United Kingdom","acronym":"ApPLIED'26","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems"],"original-title":[],"deposited":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T13:45:30Z","timestamp":1782827130000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3820355.3820385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":17,"alternative-id":["10.1145\/3820355.3820385","10.1145\/3820355"],"URL":"https:\/\/doi.org\/10.1145\/3820355.3820385","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}