{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JKUVUHX7OSFHRS4CMGAVWRQIAE","short_pith_number":"pith:JKUVUHX7","canonical_record":{"source":{"id":"1304.1902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-06T15:22:12Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"ea9e9f4eff0b57ebba62ae8164850b6a5b31886bcb2e7e54ba90d2ff36df8346","abstract_canon_sha256":"75b37f98e2124502ac2fb60843a6c98accf049c26fd5856c944fe5aa5bb706ad"},"schema_version":"1.0"},"canonical_sha256":"4aa95a1eff748a78cb8261815b4608013005ec554d9e2fac7cb5575d5cfbc632","source":{"kind":"arxiv","id":"1304.1902","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1902","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1902v1","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1902","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"pith_short_12","alias_value":"JKUVUHX7OSFH","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JKUVUHX7OSFHRS4C","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JKUVUHX7","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JKUVUHX7OSFHRS4CMGAVWRQIAE","target":"record","payload":{"canonical_record":{"source":{"id":"1304.1902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-06T15:22:12Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"ea9e9f4eff0b57ebba62ae8164850b6a5b31886bcb2e7e54ba90d2ff36df8346","abstract_canon_sha256":"75b37f98e2124502ac2fb60843a6c98accf049c26fd5856c944fe5aa5bb706ad"},"schema_version":"1.0"},"canonical_sha256":"4aa95a1eff748a78cb8261815b4608013005ec554d9e2fac7cb5575d5cfbc632","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:28:44.801687Z","signature_b64":"ie8B+h6t5uH5haJoeQTZTPjzvKefvPd0Fam9n2/C1iuru5JAC/DbJy7hHjHW/cQi6CpgAftaQ5JAbkUrfbbPBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4aa95a1eff748a78cb8261815b4608013005ec554d9e2fac7cb5575d5cfbc632","last_reissued_at":"2026-05-18T03:28:44.800887Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:28:44.800887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.1902","source_version":1,"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-18T03:28:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MySPFCSuxbkK+MQ+6PXhQTmFUeij9c8cgdyRDJ4SUvlt+AHN7vPQ1Jmux0JELcOx8RTauq0rcShR9JI5U0XLBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:17:57.178406Z"},"content_sha256":"6c067f5a246567dbf6d38f1890ccb38f9963d7b250bd18fd65068ace016b690d","schema_version":"1.0","event_id":"sha256:6c067f5a246567dbf6d38f1890ccb38f9963d7b250bd18fd65068ace016b690d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JKUVUHX7OSFHRS4CMGAVWRQIAE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.FL","authors_text":"Nobuko Yoshida, Pierre-Malo Deni\\'elou","submitted_at":"2013-04-06T15:22:12Z","abstract_excerpt":"Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global specification from a set of distributed uncontrolled behaviours, this paper explores the problem of fully characterising multiparty session types in terms of communicating automata. We equip global and local session types with labelled transition systems (LTSs) that faithfully represent asynchronous communications through unbounded buffered channels. Using the equivalence between the two LTSs, we identify a class of co"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1902","kind":"arxiv","version":1},"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-18T03:28:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E0rXgRjJDr4uL076IDbWu5c4YfJf3qEneWlwa07v/aq4yH66CQf6nko78RMIyloJWw4xZJJboU6ZdUmr7RKDCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T17:17:57.179058Z"},"content_sha256":"bd711054e6e77062423904afa0345132ed19d9caa600cfdf399f62d168c22b39","schema_version":"1.0","event_id":"sha256:bd711054e6e77062423904afa0345132ed19d9caa600cfdf399f62d168c22b39"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/bundle.json","state_url":"https://pith.science/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/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-31T17:17:57Z","links":{"resolver":"https://pith.science/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE","bundle":"https://pith.science/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/bundle.json","state":"https://pith.science/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JKUVUHX7OSFHRS4CMGAVWRQIAE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JKUVUHX7OSFHRS4CMGAVWRQIAE","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":"75b37f98e2124502ac2fb60843a6c98accf049c26fd5856c944fe5aa5bb706ad","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-06T15:22:12Z","title_canon_sha256":"ea9e9f4eff0b57ebba62ae8164850b6a5b31886bcb2e7e54ba90d2ff36df8346"},"schema_version":"1.0","source":{"id":"1304.1902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.1902","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"arxiv_version","alias_value":"1304.1902v1","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.1902","created_at":"2026-05-18T03:28:44Z"},{"alias_kind":"pith_short_12","alias_value":"JKUVUHX7OSFH","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JKUVUHX7OSFHRS4C","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JKUVUHX7","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:bd711054e6e77062423904afa0345132ed19d9caa600cfdf399f62d168c22b39","target":"graph","created_at":"2026-05-18T03:28:44Z","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":"Multiparty session types are a type system that can ensure the safety and liveness of distributed peers via the global specification of their interactions. To construct a global specification from a set of distributed uncontrolled behaviours, this paper explores the problem of fully characterising multiparty session types in terms of communicating automata. We equip global and local session types with labelled transition systems (LTSs) that faithfully represent asynchronous communications through unbounded buffered channels. Using the equivalence between the two LTSs, we identify a class of co","authors_text":"Nobuko Yoshida, Pierre-Malo Deni\\'elou","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-06T15:22:12Z","title":"Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.1902","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:6c067f5a246567dbf6d38f1890ccb38f9963d7b250bd18fd65068ace016b690d","target":"record","created_at":"2026-05-18T03:28:44Z","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":"75b37f98e2124502ac2fb60843a6c98accf049c26fd5856c944fe5aa5bb706ad","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2013-04-06T15:22:12Z","title_canon_sha256":"ea9e9f4eff0b57ebba62ae8164850b6a5b31886bcb2e7e54ba90d2ff36df8346"},"schema_version":"1.0","source":{"id":"1304.1902","kind":"arxiv","version":1}},"canonical_sha256":"4aa95a1eff748a78cb8261815b4608013005ec554d9e2fac7cb5575d5cfbc632","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4aa95a1eff748a78cb8261815b4608013005ec554d9e2fac7cb5575d5cfbc632","first_computed_at":"2026-05-18T03:28:44.800887Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:44.800887Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ie8B+h6t5uH5haJoeQTZTPjzvKefvPd0Fam9n2/C1iuru5JAC/DbJy7hHjHW/cQi6CpgAftaQ5JAbkUrfbbPBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:44.801687Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.1902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6c067f5a246567dbf6d38f1890ccb38f9963d7b250bd18fd65068ace016b690d","sha256:bd711054e6e77062423904afa0345132ed19d9caa600cfdf399f62d168c22b39"],"state_sha256":"e97561dc15b15a4a5fd724a8e7494952c88842389dbe42d1420e701e3e427c01"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Sd4F5BDgKngAbhicQJLc2PjezfkLJGlY46fBsd1+UH20zDnz7kqMzmVD+JQn4acLARU1mGk3AP/Z7mDzV0TDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T17:17:57.182609Z","bundle_sha256":"aeaa58aa297c63003f99d536b2c3073fd74a10b8e487ea068901bfc0d0dd0425"}}