{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:MK3KVWLAPYVBFLFJBPELBS62XX","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":"f19646a635d0a938d2d7fcd52bf8b2e97ee88e63976dbeea5980a95bd45b938e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T02:15:19Z","title_canon_sha256":"842f09fd7e58cd69695f13a813068fa842dfc4680c0fc92921ded189389d9bf0"},"schema_version":"1.0","source":{"id":"1408.5977","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1408.5977","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"arxiv_version","alias_value":"1408.5977v1","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1408.5977","created_at":"2026-05-18T02:44:15Z"},{"alias_kind":"pith_short_12","alias_value":"MK3KVWLAPYVB","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"MK3KVWLAPYVBFLFJ","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"MK3KVWLA","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:ccdd96ee7981ddc2248c5a27ac1831c7ce76c039d24705d02a73df62674cb113","target":"graph","created_at":"2026-05-18T02:44:15Z","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":"Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which different sites may act on behalf of a single role. It is then crucial to control the roles that the different parties are authorized to represent, including the case in which role authorizations are determined only at runtime. Building on previous work on conversation types with flexible role assignment, here we report initial results on a typed framework for the analysis of multiparty communications with dynamic rol","authors_text":"Faculdade de Ci\\^encias, Hugo Torres Vieira (LaSIGE, Jorge A. P\\'erez (University of Groningen, Jovanka Pantovi\\'c (Univerzitet u Novom Sadu, Portugal), Serbia), Silvia Ghilezan (Univerzitet u Novom Sadu, Svetlana Jak\\v{s}i\\'c (Univerzitet u Novom Sadu, the Netherlands), Universidade de Lisboa","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T02:15:19Z","title":"Dynamic Role Authorization in Multiparty Conversations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1408.5977","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:afb38886c485e6fb25503cfd99d151d33a21d1a42d4afee6ecd62e92168b46af","target":"record","created_at":"2026-05-18T02:44:15Z","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":"f19646a635d0a938d2d7fcd52bf8b2e97ee88e63976dbeea5980a95bd45b938e","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-08-26T02:15:19Z","title_canon_sha256":"842f09fd7e58cd69695f13a813068fa842dfc4680c0fc92921ded189389d9bf0"},"schema_version":"1.0","source":{"id":"1408.5977","kind":"arxiv","version":1}},"canonical_sha256":"62b6aad9607e2a12aca90bc8b0cbdabdc4aad98829f9a2433838bf6ee3643e37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"62b6aad9607e2a12aca90bc8b0cbdabdc4aad98829f9a2433838bf6ee3643e37","first_computed_at":"2026-05-18T02:44:15.463487Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:44:15.463487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OpCrdI9EYuLNDLii3I1nkSAWapaxvIPcEabkFFL6tAXtXkJZzOLh8f5lP5v7kvesnG+jCNNENyl+DSp52pFCCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:44:15.464002Z","signed_message":"canonical_sha256_bytes"},"source_id":"1408.5977","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:afb38886c485e6fb25503cfd99d151d33a21d1a42d4afee6ecd62e92168b46af","sha256:ccdd96ee7981ddc2248c5a27ac1831c7ce76c039d24705d02a73df62674cb113"],"state_sha256":"3ab1f4d14f183eb71173b127aa42baeeadebd0c7ef8d95db3396435c05d4ff21"}