{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:2EEUWFGNFZW45XGKBLN4TH6EC2","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":"b2879745846173688827bf28bc399d269152c8d17096d46cc4216d5a3f7f949e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:45:49Z","title_canon_sha256":"07028b49dc7a5b582d02c7a7a2625b361d67677fefde1f226ce191df9fbb8c08"},"schema_version":"1.0","source":{"id":"1711.11209","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.11209","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"arxiv_version","alias_value":"1711.11209v1","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.11209","created_at":"2026-05-18T00:29:12Z"},{"alias_kind":"pith_short_12","alias_value":"2EEUWFGNFZW4","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"2EEUWFGNFZW45XGK","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"2EEUWFGN","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:0e06033b358d7001139d0764595a8e9fcc6491d7d8f6e8a524b5a4c0532a0923","target":"graph","created_at":"2026-05-18T00:29:12Z","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":"In the setting of the pi-calculus with binary sessions, we aim at relaxing the notion of duality of session types by the concept of retractable compliance developed in contract theory.  This leads to extending session types with a new type operator of \"speculative selection\" including choices not necessarily offered by a compliant partner. We address the problem of  selecting successful communicating branches  by means of an operational semantics based on orchestrators, which has been shown to be equivalent to the retractable semantics of contracts, but clearly more feasible. A type system, so","authors_text":"Franco Barbanera, Ugo de'Liguoro","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:45:49Z","title":"Session Types for Orchestrated Interactions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.11209","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:333f7599242917ef09586d73ee8894dc85667e4bd23c74473c8f741fea1a5ce5","target":"record","created_at":"2026-05-18T00:29:12Z","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":"b2879745846173688827bf28bc399d269152c8d17096d46cc4216d5a3f7f949e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:45:49Z","title_canon_sha256":"07028b49dc7a5b582d02c7a7a2625b361d67677fefde1f226ce191df9fbb8c08"},"schema_version":"1.0","source":{"id":"1711.11209","kind":"arxiv","version":1}},"canonical_sha256":"d1094b14cd2e6dcedcca0adbc99fc41688da2b0075f10596758bbb81d2c1ad8a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d1094b14cd2e6dcedcca0adbc99fc41688da2b0075f10596758bbb81d2c1ad8a","first_computed_at":"2026-05-18T00:29:12.210560Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:29:12.210560Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OkdSOfamODGunsxMYj9olBgt2Yn+eUIVij4szCWU0RRaAGLTliXTcKjpdTiKAG7JICd8oU2f7I2FQZ8aRAELCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:29:12.211186Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.11209","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:333f7599242917ef09586d73ee8894dc85667e4bd23c74473c8f741fea1a5ce5","sha256:0e06033b358d7001139d0764595a8e9fcc6491d7d8f6e8a524b5a4c0532a0923"],"state_sha256":"ea9095a3da69fd1424c001e3634b10dd1c26c2884f57fb1eb8d34ae643150881"}