{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:MCACMZIFGNP4V7RDZIQHIUWH54","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":"14a66e6e879fe1e19d8071f35ed41a6d755ac00d59853779052b2e23def66a30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-04T22:05:29Z","title_canon_sha256":"9ed7a7b412ab59fa2438f420aebd8b9033f0080d306f3c54675d0b333670bd8c"},"schema_version":"1.0","source":{"id":"1203.0780","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0780","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0780v2","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0780","created_at":"2026-05-18T01:37:38Z"},{"alias_kind":"pith_short_12","alias_value":"MCACMZIFGNP4","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_16","alias_value":"MCACMZIFGNP4V7RD","created_at":"2026-05-18T12:27:14Z"},{"alias_kind":"pith_short_8","alias_value":"MCACMZIF","created_at":"2026-05-18T12:27:14Z"}],"graph_snapshots":[{"event_id":"sha256:2997e47c9e1b2638895f0a07043b9e0a7e3cee068caab2ae862d7f7387fa6547","target":"graph","created_at":"2026-05-18T01:37:38Z","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":"Global types are formal specifications that describe communication protocols in terms of their global interactions. We present a new, streamlined language of global types equipped with a trace-based semantics and whose features and restrictions are semantically justified. The multi-party sessions obtained projecting our global types enjoy a liveness property in addition to the traditional progress and are shown to be sound and complete with respect to the set of traces of the originating global type. Our notion of completeness is less demanding than the classical ones, allowing a multi-party s","authors_text":"France), Giuseppe Castagna (CNRS, Italy), Luca Padovani (Dipartimento di Informatica, Mariangiola Dezani-Ciancaglini (Dipartimento di Informatica, Paris, PPS, Sorbonne Paris Cit\\'e, Torino, Universit`a degli Studi di Torino, Univ Paris Diderot","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-04T22:05:29Z","title":"On Global Types and Multi-Party Session"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0780","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:9d178d12f4990c88e459cc40decf41de5c2944e6b0f9978aad4cee36e33e035a","target":"record","created_at":"2026-05-18T01:37:38Z","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":"14a66e6e879fe1e19d8071f35ed41a6d755ac00d59853779052b2e23def66a30","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2012-03-04T22:05:29Z","title_canon_sha256":"9ed7a7b412ab59fa2438f420aebd8b9033f0080d306f3c54675d0b333670bd8c"},"schema_version":"1.0","source":{"id":"1203.0780","kind":"arxiv","version":2}},"canonical_sha256":"6080266505335fcafe23ca207452c7ef15725b02d574a1b3a6a79e68f690c030","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6080266505335fcafe23ca207452c7ef15725b02d574a1b3a6a79e68f690c030","first_computed_at":"2026-05-18T01:37:38.952720Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:38.952720Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SwbOgCGeG6Uo2RCN8pHqtvPDaCXmTYGTE39FiRZzabKUQ0QlOmWosga0hO/OmJvdQY15F4MPyjdreiPKmoSGCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:38.953346Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.0780","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d178d12f4990c88e459cc40decf41de5c2944e6b0f9978aad4cee36e33e035a","sha256:2997e47c9e1b2638895f0a07043b9e0a7e3cee068caab2ae862d7f7387fa6547"],"state_sha256":"748b77d1ad125ff6c6bccff3f564aebadb9ea77a53cb6581f01a9ead6ca2fe22"}