{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:HD7AZAA3Q4CFTWZXNOULR4WLGL","short_pith_number":"pith:HD7AZAA3","canonical_record":{"source":{"id":"1310.5558","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-18T12:48:50Z","cross_cats_sorted":[],"title_canon_sha256":"cae92729f6f95b42f5669409d28852f2f38ef063fd41c08ed9325e94d21be2c0","abstract_canon_sha256":"2924804d9728ad402b485eb212e5ec74b46b9d220ae2f2b715298d7d9a6fc451"},"schema_version":"1.0"},"canonical_sha256":"38fe0c801b870459db376ba8b8f2cb32ed15a60954b1698f2c9564d7606443e9","source":{"kind":"arxiv","id":"1310.5558","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5558","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5558v2","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5558","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"HD7AZAA3Q4CF","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HD7AZAA3Q4CFTWZX","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HD7AZAA3","created_at":"2026-05-18T12:27:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:HD7AZAA3Q4CFTWZXNOULR4WLGL","target":"record","payload":{"canonical_record":{"source":{"id":"1310.5558","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-18T12:48:50Z","cross_cats_sorted":[],"title_canon_sha256":"cae92729f6f95b42f5669409d28852f2f38ef063fd41c08ed9325e94d21be2c0","abstract_canon_sha256":"2924804d9728ad402b485eb212e5ec74b46b9d220ae2f2b715298d7d9a6fc451"},"schema_version":"1.0"},"canonical_sha256":"38fe0c801b870459db376ba8b8f2cb32ed15a60954b1698f2c9564d7606443e9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:37.731452Z","signature_b64":"9tYuapNQjOJjU59IviIA1r7uftOLMQ6sGGkWJuccQPpuY2M4tegZ1KDw3QuwimO31k+krCWM5BNztf+YXJeVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38fe0c801b870459db376ba8b8f2cb32ed15a60954b1698f2c9564d7606443e9","last_reissued_at":"2026-05-18T01:37:37.730852Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:37.730852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.5558","source_version":2,"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-18T01:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"934BBR8VAuzJUD4IkiStASlR0o5gw7/+6bJswzMg5opbIqcLYzw7Nrf5IjY0bdKz4WViTjl70SsVqmQ58lb5DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:24:36.975629Z"},"content_sha256":"52c7dc06ce3c5de9ac2b06c5dab793eaa1d260b3a93941cf4b45c5878cb71299","schema_version":"1.0","event_id":"sha256:52c7dc06ce3c5de9ac2b06c5dab793eaa1d260b3a93941cf4b45c5878cb71299"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:HD7AZAA3Q4CFTWZXNOULR4WLGL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Avoiding Shared Clocks in Networks of Timed Automata","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"CNRS), ENS Cachan, Inria, Sandie Balaguer (LSV, Thomas Chatain (LSV","submitted_at":"2013-10-18T12:48:50Z","abstract_excerpt":"Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions of one automaton may be guarded by conditions on the value of clocks reset by another automaton. This is a problem when one considers implementing such model in a distributed architecture, since reading clocks a priori requires communications which are not explicitly described in the model. We focus on the following question: given an NTA A1 || A2 where A2 reads some clocks reset by A1, does there exist an NTA A'1 || "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5558","kind":"arxiv","version":2},"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-18T01:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LFO/jxMxxjeQzaDD/SEVns4mxeKdZ4NBT3KjoRs5gwVpy2SNwQ1keqynuikapLDrHD1mZNQW38DC3CODS5v0CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T07:24:36.976263Z"},"content_sha256":"f68ad2b28618185d9509469a787bd2e486c4ec3ba890ab3417d30a5a998c2e60","schema_version":"1.0","event_id":"sha256:f68ad2b28618185d9509469a787bd2e486c4ec3ba890ab3417d30a5a998c2e60"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/bundle.json","state_url":"https://pith.science/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/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-05-30T07:24:36Z","links":{"resolver":"https://pith.science/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL","bundle":"https://pith.science/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/bundle.json","state":"https://pith.science/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HD7AZAA3Q4CFTWZXNOULR4WLGL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:HD7AZAA3Q4CFTWZXNOULR4WLGL","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":"2924804d9728ad402b485eb212e5ec74b46b9d220ae2f2b715298d7d9a6fc451","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-18T12:48:50Z","title_canon_sha256":"cae92729f6f95b42f5669409d28852f2f38ef063fd41c08ed9325e94d21be2c0"},"schema_version":"1.0","source":{"id":"1310.5558","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.5558","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1310.5558v2","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.5558","created_at":"2026-05-18T01:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"HD7AZAA3Q4CF","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_16","alias_value":"HD7AZAA3Q4CFTWZX","created_at":"2026-05-18T12:27:46Z"},{"alias_kind":"pith_short_8","alias_value":"HD7AZAA3","created_at":"2026-05-18T12:27:46Z"}],"graph_snapshots":[{"event_id":"sha256:f68ad2b28618185d9509469a787bd2e486c4ec3ba890ab3417d30a5a998c2e60","target":"graph","created_at":"2026-05-18T01:37:37Z","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":"Networks of timed automata (NTA) are widely used to model distributed real-time systems. Quite often in the literature, the automata are allowed to share clocks, i.e. transitions of one automaton may be guarded by conditions on the value of clocks reset by another automaton. This is a problem when one considers implementing such model in a distributed architecture, since reading clocks a priori requires communications which are not explicitly described in the model. We focus on the following question: given an NTA A1 || A2 where A2 reads some clocks reset by A1, does there exist an NTA A'1 || ","authors_text":"CNRS), ENS Cachan, Inria, Sandie Balaguer (LSV, Thomas Chatain (LSV","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-18T12:48:50Z","title":"Avoiding Shared Clocks in Networks of Timed Automata"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.5558","kind":"arxiv","version":2},"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:52c7dc06ce3c5de9ac2b06c5dab793eaa1d260b3a93941cf4b45c5878cb71299","target":"record","created_at":"2026-05-18T01:37:37Z","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":"2924804d9728ad402b485eb212e5ec74b46b9d220ae2f2b715298d7d9a6fc451","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-10-18T12:48:50Z","title_canon_sha256":"cae92729f6f95b42f5669409d28852f2f38ef063fd41c08ed9325e94d21be2c0"},"schema_version":"1.0","source":{"id":"1310.5558","kind":"arxiv","version":2}},"canonical_sha256":"38fe0c801b870459db376ba8b8f2cb32ed15a60954b1698f2c9564d7606443e9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38fe0c801b870459db376ba8b8f2cb32ed15a60954b1698f2c9564d7606443e9","first_computed_at":"2026-05-18T01:37:37.730852Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:37.730852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9tYuapNQjOJjU59IviIA1r7uftOLMQ6sGGkWJuccQPpuY2M4tegZ1KDw3QuwimO31k+krCWM5BNztf+YXJeVDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:37.731452Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.5558","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52c7dc06ce3c5de9ac2b06c5dab793eaa1d260b3a93941cf4b45c5878cb71299","sha256:f68ad2b28618185d9509469a787bd2e486c4ec3ba890ab3417d30a5a998c2e60"],"state_sha256":"befddc73688cf41e6cfc07076a0ea705498928657b0964c5b2989ce0acca03c8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7P3qGwij7gHne9onNf4ah7vdnefbxB1/EMwl5eceq6+SP76ax20NU3vE9M69hCBzsHwc2Sk7RLhKO3dy2mjRBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T07:24:36.979941Z","bundle_sha256":"256882e8bef9aef27bd2ed3647256aeb6d4a1b4d174b902840f82da281cc740c"}}