{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:LQACJCOQUTAGSEDZOV6MC5IJIA","short_pith_number":"pith:LQACJCOQ","canonical_record":{"source":{"id":"1709.04385","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T15:33:30Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"5361b067b26aedbb9d8f85b6da1207c394d464847a6e0df18e6647bde6923f4a","abstract_canon_sha256":"92ab459fe0d2bb72dda4776313d47da24313d9d3e23f3854ec1eb6b46029b4ae"},"schema_version":"1.0"},"canonical_sha256":"5c002489d0a4c0691079757cc17509400678cf22b74d79c36495d2875ef737bc","source":{"kind":"arxiv","id":"1709.04385","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.04385","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"arxiv_version","alias_value":"1709.04385v3","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.04385","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"pith_short_12","alias_value":"LQACJCOQUTAG","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LQACJCOQUTAGSEDZ","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LQACJCOQ","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:LQACJCOQUTAGSEDZOV6MC5IJIA","target":"record","payload":{"canonical_record":{"source":{"id":"1709.04385","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T15:33:30Z","cross_cats_sorted":["cs.NI"],"title_canon_sha256":"5361b067b26aedbb9d8f85b6da1207c394d464847a6e0df18e6647bde6923f4a","abstract_canon_sha256":"92ab459fe0d2bb72dda4776313d47da24313d9d3e23f3854ec1eb6b46029b4ae"},"schema_version":"1.0"},"canonical_sha256":"5c002489d0a4c0691079757cc17509400678cf22b74d79c36495d2875ef737bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:32:05.197720Z","signature_b64":"ppvPnUIrOEmEWImYeFWJXqGGjIzPy4DZ/gpItWyygyKhUJOivnRC8I1eeMLCBfNdNqTTplHB8azn63MEJ/wFCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5c002489d0a4c0691079757cc17509400678cf22b74d79c36495d2875ef737bc","last_reissued_at":"2026-05-18T00:32:05.197046Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:32:05.197046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.04385","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:32:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X6K7rhxwJu9T/3b5N531UR3Pnb/ja7rxzyypvbovhdJL1iL8pV2by8iEGZtiYnoezXOVbH0pS/GG+GRhre96Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:14:17.775895Z"},"content_sha256":"03d42f9b22ccfe388d7cceeab39fc4b9eb9d986d3e5c905de10bf01ce73125e1","schema_version":"1.0","event_id":"sha256:03d42f9b22ccfe388d7cceeab39fc4b9eb9d986d3e5c905de10bf01ce73125e1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:LQACJCOQUTAGSEDZOV6MC5IJIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.NI"],"primary_cat":"cs.DC","authors_text":"Clare Dixon, Michael Fisher, Paul Gainer, Sven Linker, Ullrich Hustadt","submitted_at":"2017-09-13T15:33:30Z","abstract_excerpt":"We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach of bio-inspired, pulse-coupled oscillators to achieve network-wide synchronisation and provide an extended formal model of just such a protocol, enhanced with structures for recording energy usage. Exhaustive analysis is then carried out through formal verification, utilising the PRISM model checker to calculate the resources consumed on each possible system execution. This allows us to assess a range of parameter i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.04385","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:32:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLvHlpq0hiQpYZFv4IVYKOjECM0dnH82ZAfez20KPkyH5LmH5vpwpy6e445pJng1B01UjDvPau65twqUtXbCCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:14:17.776275Z"},"content_sha256":"cef174845b070bc14925ee47d990d060dc724e25f35e0d6a1fb685c63f57d178","schema_version":"1.0","event_id":"sha256:cef174845b070bc14925ee47d990d060dc724e25f35e0d6a1fb685c63f57d178"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/bundle.json","state_url":"https://pith.science/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-02T23:14:17Z","links":{"resolver":"https://pith.science/pith/LQACJCOQUTAGSEDZOV6MC5IJIA","bundle":"https://pith.science/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/bundle.json","state":"https://pith.science/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LQACJCOQUTAGSEDZOV6MC5IJIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LQACJCOQUTAGSEDZOV6MC5IJIA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"92ab459fe0d2bb72dda4776313d47da24313d9d3e23f3854ec1eb6b46029b4ae","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T15:33:30Z","title_canon_sha256":"5361b067b26aedbb9d8f85b6da1207c394d464847a6e0df18e6647bde6923f4a"},"schema_version":"1.0","source":{"id":"1709.04385","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.04385","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"arxiv_version","alias_value":"1709.04385v3","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.04385","created_at":"2026-05-18T00:32:05Z"},{"alias_kind":"pith_short_12","alias_value":"LQACJCOQUTAG","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LQACJCOQUTAGSEDZ","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LQACJCOQ","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:cef174845b070bc14925ee47d990d060dc724e25f35e0d6a1fb685c63f57d178","target":"graph","created_at":"2026-05-18T00:32:05Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We assess the power consumption of network synchronisation protocols, particularly the energy required to synchronise all nodes across a network. We use the widely adopted approach of bio-inspired, pulse-coupled oscillators to achieve network-wide synchronisation and provide an extended formal model of just such a protocol, enhanced with structures for recording energy usage. Exhaustive analysis is then carried out through formal verification, utilising the PRISM model checker to calculate the resources consumed on each possible system execution. This allows us to assess a range of parameter i","authors_text":"Clare Dixon, Michael Fisher, Paul Gainer, Sven Linker, Ullrich Hustadt","cross_cats":["cs.NI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T15:33:30Z","title":"The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.04385","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:03d42f9b22ccfe388d7cceeab39fc4b9eb9d986d3e5c905de10bf01ce73125e1","target":"record","created_at":"2026-05-18T00:32:05Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"92ab459fe0d2bb72dda4776313d47da24313d9d3e23f3854ec1eb6b46029b4ae","cross_cats_sorted":["cs.NI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T15:33:30Z","title_canon_sha256":"5361b067b26aedbb9d8f85b6da1207c394d464847a6e0df18e6647bde6923f4a"},"schema_version":"1.0","source":{"id":"1709.04385","kind":"arxiv","version":3}},"canonical_sha256":"5c002489d0a4c0691079757cc17509400678cf22b74d79c36495d2875ef737bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5c002489d0a4c0691079757cc17509400678cf22b74d79c36495d2875ef737bc","first_computed_at":"2026-05-18T00:32:05.197046Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:32:05.197046Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ppvPnUIrOEmEWImYeFWJXqGGjIzPy4DZ/gpItWyygyKhUJOivnRC8I1eeMLCBfNdNqTTplHB8azn63MEJ/wFCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:32:05.197720Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.04385","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:03d42f9b22ccfe388d7cceeab39fc4b9eb9d986d3e5c905de10bf01ce73125e1","sha256:cef174845b070bc14925ee47d990d060dc724e25f35e0d6a1fb685c63f57d178"],"state_sha256":"5ca41b2228aa4214ef947f9db66e726c9e25e5dad7441e005826c3ab776b4bd5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+tJ04GtS/L0xr3fXeoJAAWqPxriAMrN3ntXDbI8k+1CZRFoNzuCmi1aMsj3rPV7QVwOTFkRHq+9Ztr0vA9fWDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:14:17.778209Z","bundle_sha256":"c5f94f326add27d798c0a32e87e898e23a731ceed0b0b09639da8f8243e4323e"}}