{"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"}