{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MXS77H62OTN2HLV6FDU32LHXGM","short_pith_number":"pith:MXS77H62","canonical_record":{"source":{"id":"1708.05063","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-08-10T05:21:40Z","cross_cats_sorted":[],"title_canon_sha256":"d19bd7fa48cd6f51e1e7b6e16a08cb3a3c2aab34b77957b4261365eceb78edd1","abstract_canon_sha256":"1f6393ec660aa0c86cb728279f7e9b057206cd85dc8c883ad80b994b1a20776b"},"schema_version":"1.0"},"canonical_sha256":"65e5ff9fda74dba3aebe28e9bd2cf7332454f4ddad55181f787238c01e55bda1","source":{"kind":"arxiv","id":"1708.05063","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.05063","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"arxiv_version","alias_value":"1708.05063v4","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.05063","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"pith_short_12","alias_value":"MXS77H62OTN2","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MXS77H62OTN2HLV6","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MXS77H62","created_at":"2026-05-18T12:31:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MXS77H62OTN2HLV6FDU32LHXGM","target":"record","payload":{"canonical_record":{"source":{"id":"1708.05063","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-08-10T05:21:40Z","cross_cats_sorted":[],"title_canon_sha256":"d19bd7fa48cd6f51e1e7b6e16a08cb3a3c2aab34b77957b4261365eceb78edd1","abstract_canon_sha256":"1f6393ec660aa0c86cb728279f7e9b057206cd85dc8c883ad80b994b1a20776b"},"schema_version":"1.0"},"canonical_sha256":"65e5ff9fda74dba3aebe28e9bd2cf7332454f4ddad55181f787238c01e55bda1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:20:46.825150Z","signature_b64":"84l0qR2E1ver/WPvbbGFcSVXiewiayOheM4uoQN3uCsx4QhJ5AATb177Sz25hP8VE2UtCm0gfjfo2X25Uy/wAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65e5ff9fda74dba3aebe28e9bd2cf7332454f4ddad55181f787238c01e55bda1","last_reissued_at":"2026-05-18T00:20:46.824687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:20:46.824687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.05063","source_version":4,"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:20:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H+0+5XFwftKJJmlC0vfVnP0IOPAuLjXfMFXK+5if2EnWb/dtZULJjtulIFBtjrvBYI+1WjjWdb55EI5sJXuvAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:35:41.891288Z"},"content_sha256":"e42307ca4a8983267dbf8721e99cb94595ae802f9af6b87fc7e95860cee18967","schema_version":"1.0","event_id":"sha256:e42307ca4a8983267dbf8721e99cb94595ae802f9af6b87fc7e95860cee18967"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MXS77H62OTN2HLV6FDU32LHXGM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Communicating Timed Processes with Perfect Timed Channels","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.FL","authors_text":"Mohamed Faouzi Atig, Parosh Aziz Abdulla, S. Krishna","submitted_at":"2017-08-10T05:21:40Z","abstract_excerpt":"We introduce the model of communicating timed automata (CTA) that extends the classical models of finite-state processes communicating through FIFO perfect channels and timed automata, in the sense that the finite-state processes are replaced by timed automata, and messages inside the perfect channels are equipped with clocks representing their ages. In addition to the standard operations (resetting clocks, checking guards of clocks) each automaton can either (1) append a message to the tail of a channel with an initial age or (2) receive the message at the head of a channel if its age satisfi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.05063","kind":"arxiv","version":4},"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:20:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BvSGjjROWaC+fdI1gK1iHQevGY4HoS+mMnEmHj4vOQRwVd+S5pHcbXltWpZP8IApygSLV5j1tQrwGVavR0oBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T10:35:41.891647Z"},"content_sha256":"1244648401dbdcef524b197a450341c9c870ff9b27b24ad974e2e6201b52522b","schema_version":"1.0","event_id":"sha256:1244648401dbdcef524b197a450341c9c870ff9b27b24ad974e2e6201b52522b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MXS77H62OTN2HLV6FDU32LHXGM/bundle.json","state_url":"https://pith.science/pith/MXS77H62OTN2HLV6FDU32LHXGM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MXS77H62OTN2HLV6FDU32LHXGM/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-27T10:35:41Z","links":{"resolver":"https://pith.science/pith/MXS77H62OTN2HLV6FDU32LHXGM","bundle":"https://pith.science/pith/MXS77H62OTN2HLV6FDU32LHXGM/bundle.json","state":"https://pith.science/pith/MXS77H62OTN2HLV6FDU32LHXGM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MXS77H62OTN2HLV6FDU32LHXGM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MXS77H62OTN2HLV6FDU32LHXGM","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":"1f6393ec660aa0c86cb728279f7e9b057206cd85dc8c883ad80b994b1a20776b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-08-10T05:21:40Z","title_canon_sha256":"d19bd7fa48cd6f51e1e7b6e16a08cb3a3c2aab34b77957b4261365eceb78edd1"},"schema_version":"1.0","source":{"id":"1708.05063","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.05063","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"arxiv_version","alias_value":"1708.05063v4","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.05063","created_at":"2026-05-18T00:20:46Z"},{"alias_kind":"pith_short_12","alias_value":"MXS77H62OTN2","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_16","alias_value":"MXS77H62OTN2HLV6","created_at":"2026-05-18T12:31:31Z"},{"alias_kind":"pith_short_8","alias_value":"MXS77H62","created_at":"2026-05-18T12:31:31Z"}],"graph_snapshots":[{"event_id":"sha256:1244648401dbdcef524b197a450341c9c870ff9b27b24ad974e2e6201b52522b","target":"graph","created_at":"2026-05-18T00:20:46Z","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 introduce the model of communicating timed automata (CTA) that extends the classical models of finite-state processes communicating through FIFO perfect channels and timed automata, in the sense that the finite-state processes are replaced by timed automata, and messages inside the perfect channels are equipped with clocks representing their ages. In addition to the standard operations (resetting clocks, checking guards of clocks) each automaton can either (1) append a message to the tail of a channel with an initial age or (2) receive the message at the head of a channel if its age satisfi","authors_text":"Mohamed Faouzi Atig, Parosh Aziz Abdulla, S. Krishna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-08-10T05:21:40Z","title":"Communicating Timed Processes with Perfect Timed Channels"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.05063","kind":"arxiv","version":4},"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:e42307ca4a8983267dbf8721e99cb94595ae802f9af6b87fc7e95860cee18967","target":"record","created_at":"2026-05-18T00:20:46Z","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":"1f6393ec660aa0c86cb728279f7e9b057206cd85dc8c883ad80b994b1a20776b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2017-08-10T05:21:40Z","title_canon_sha256":"d19bd7fa48cd6f51e1e7b6e16a08cb3a3c2aab34b77957b4261365eceb78edd1"},"schema_version":"1.0","source":{"id":"1708.05063","kind":"arxiv","version":4}},"canonical_sha256":"65e5ff9fda74dba3aebe28e9bd2cf7332454f4ddad55181f787238c01e55bda1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"65e5ff9fda74dba3aebe28e9bd2cf7332454f4ddad55181f787238c01e55bda1","first_computed_at":"2026-05-18T00:20:46.824687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:20:46.824687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"84l0qR2E1ver/WPvbbGFcSVXiewiayOheM4uoQN3uCsx4QhJ5AATb177Sz25hP8VE2UtCm0gfjfo2X25Uy/wAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:20:46.825150Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.05063","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e42307ca4a8983267dbf8721e99cb94595ae802f9af6b87fc7e95860cee18967","sha256:1244648401dbdcef524b197a450341c9c870ff9b27b24ad974e2e6201b52522b"],"state_sha256":"9ec1aca4162cfd73fc6e1798ce80ff6f25f401ac9f7a916490357cfb2fad52cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DnOaUdBHlel5In1TLZ2mQCuhkKvkfTlTj9VeZaKjUX01O4KmTYZ12DekIT2UaCQU2+dQ6CmqrYRk/O6/xdVgBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T10:35:41.893804Z","bundle_sha256":"89f75764c3000d6dae45c73bc8bea76defe43649a97ab010d047e0241e810dc9"}}