{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T22:16:25Z","timestamp":1767046585195,"version":"3.41.0"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Google Research \u201cunrestricted gift\u201d, \u201cDesigning Scalable Synchronous Applications over Google bittide\u201d, Awarded to the University of Auckland"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1109\/access.2024.3411017","type":"journal-article","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T17:31:47Z","timestamp":1717781507000},"page":"80872-80883","source":"Crossref","is-referenced-by-count":4,"title":["Logical Synchrony Networks: A Formal Model for Deterministic Distribution"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0923-0307","authenticated-orcid":false,"given":"Logan","family":"Kenwright","sequence":"first","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9654-5678","authenticated-orcid":false,"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7876-819X","authenticated-orcid":false,"given":"Nathan","family":"Allen","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering, The University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sanjay","family":"Lall","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Stanford University, Stanford, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2780-6763","authenticated-orcid":false,"given":"C\u0103lin","family":"Ca\u015fcaval","sequence":"additional","affiliation":[{"name":"Google Research, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tammo","family":"Spalink","sequence":"additional","affiliation":[{"name":"Google Research, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Izzard","sequence":"additional","affiliation":[{"name":"Google Research, Mountain View, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","article-title":"Logical synchrony and the bittide mechanism","author":"Lall","year":"2023","journal-title":"arXiv:2308.00144"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3472-0_16"},{"key":"ref4","volume-title":"Communication and Concurrency","volume":"84","author":"Milner","year":"1989"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"ref6","first-page":"471","article-title":"The semantics of a simple language for parallel programming","volume":"74","author":"Kahn","year":"1974","journal-title":"Inf. Process."},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1028474"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.23919\/ACC53348.2022.9867698"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.21236\/ADA594171"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/26.103043"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2021.9456762"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2016.7466451"},{"key":"ref16","first-page":"458","article-title":"Moving a step forward in the quest for deterministic networks (DetNet)","volume-title":"Proc. IFIP Netw. Conf. (Networking)","author":"Addanki"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.21236\/ADA518830"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2932189"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2010.01.001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.102958"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.798329"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95246-8_14"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838091"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CoDIT58514.2023.10284255"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10380310\/10551846.pdf?arnumber=10551846","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,16]],"date-time":"2025-06-16T19:00:26Z","timestamp":1750100426000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10551846\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/access.2024.3411017","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2024]]}}}