{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:5XUE7XZIHHCLGH2TTVFRV6GMVX","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":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b"},"schema_version":"1.0","source":{"id":"2308.10578","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"arxiv_version","alias_value":"2308.10578v1","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2308.10578","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_12","alias_value":"5XUE7XZIHHCL","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_16","alias_value":"5XUE7XZIHHCLGH2T","created_at":"2026-07-05T06:43:11Z"},{"alias_kind":"pith_short_8","alias_value":"5XUE7XZI","created_at":"2026-07-05T06:43:11Z"}],"graph_snapshots":[{"event_id":"sha256:c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f","target":"graph","created_at":"2026-07-05T06:43:11Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2308.10578/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Communicating finite-state machines (CFMs) are a Turing powerful model of asynchronous message-passing distributed systems. In weakly synchronous systems, processes communicate through phases in which messages are first sent and then received, for each process. Such systems enjoy a limited form of synchronization, and for some communication models, this restriction is enough to make the reachability problem decidable. In particular, we explore the intriguing case of p2p (FIFO) communication, for which the reachability problem is known to be undecidable for four processes, but decidable for two","authors_text":"Cinzia Di Giusto (C&A), Davide Ferr\\'e, Etienne Lozes (I3S, LSV), Nicolas Nisse","cross_cats":["cs.FL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title":"Weakly synchronous systems with three machines are Turing powerful"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2308.10578","kind":"arxiv","version":1},"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:eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac","target":"record","created_at":"2026-07-05T06:43:11Z","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":"ef6ce14afdb4cc9ca9b4c560b693f5ecff2acf435a2da3871036038ec7ff1074","cross_cats_sorted":["cs.FL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2023-08-21T09:24:12Z","title_canon_sha256":"373a99612422fccb685f002bc5f634ecd0d94500b9e75a2380f76f956ff5355b"},"schema_version":"1.0","source":{"id":"2308.10578","kind":"arxiv","version":1}},"canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ede84fdf2839c4b31f539d4b1af8ccade592802c73d1de587ad572103a190537","first_computed_at":"2026-07-05T06:43:11.355594Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:43:11.355594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"neKQeW/rWxn4SRLWq2PKgJK8R7UDo9A+ThtXwNuj2HLDSE7AfG9dN71YKFzbcCY/GxOfPSaKb2xg2hSdDsLPDg==","signature_status":"signed_v1","signed_at":"2026-07-05T06:43:11.356058Z","signed_message":"canonical_sha256_bytes"},"source_id":"2308.10578","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eed47a9516ad03589bdb46d7844537179dffc97b8fcf5ddbb75ee88a673151ac","sha256:c6e931866ba3cd76a299b1f5f567f627aa0dbfa75022e15f413c5f8eb343f83f"],"state_sha256":"596801eba7bf3a8cbe240c6bbfde8b84991e8595af9df8a59cfaf9431448245d"}