{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:OFLQGNSEASVHWRFXTQ6MM36N33","short_pith_number":"pith:OFLQGNSE","schema_version":"1.0","canonical_sha256":"715703364404aa7b44b79c3cc66fcddee03ce90b00eb9e39736982a04080cd29","source":{"kind":"arxiv","id":"1108.0470","version":1},"attestation_state":"computed","paper":{"title":"Amending Contracts for Choreographies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Emilio Tuosto (Department of Computer Science, Julien Lange (Department of Computer Science, Laura Bocchi (Department of Computer Science, University of Leicester)","submitted_at":"2011-08-02T02:27:44Z","abstract_excerpt":"Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties. Global assertions define contracts for choreographies by annotating multiparty session types with logical formulae to validate the content of the exchanged messages. The introduction of such constraints is a critical design issue as it may be hard to specify contracts that allow each party to be able to progress without violating the contract. In this paper, we propose three methods that automatically correc"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1108.0470","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2011-08-02T02:27:44Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"3493e1bdccce53fa878c4e08c67fa3281cefda1b7b3ecd0a0f92b5af42fbd628","abstract_canon_sha256":"0685191fac8f613f70c0a0abaa2b47a54bdb7ab25399260ec8e9fc552c6c2ce3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:30.319877Z","signature_b64":"57fbr9ccsxqkx4UlkRBQgekJWi951UKMQMnKHuEFtP48qX0e+GDupZkOgX4Jde2oV+PdGX3XU2cgVzP3TfuKAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"715703364404aa7b44b79c3cc66fcddee03ce90b00eb9e39736982a04080cd29","last_reissued_at":"2026-05-18T04:16:30.319390Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:30.319390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Amending Contracts for Choreographies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.DC","authors_text":"Emilio Tuosto (Department of Computer Science, Julien Lange (Department of Computer Science, Laura Bocchi (Department of Computer Science, University of Leicester)","submitted_at":"2011-08-02T02:27:44Z","abstract_excerpt":"Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed parties. Global assertions define contracts for choreographies by annotating multiparty session types with logical formulae to validate the content of the exchanged messages. The introduction of such constraints is a critical design issue as it may be hard to specify contracts that allow each party to be able to progress without violating the contract. In this paper, we propose three methods that automatically correc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.0470","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1108.0470","created_at":"2026-05-18T04:16:30.319460+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.0470v1","created_at":"2026-05-18T04:16:30.319460+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.0470","created_at":"2026-05-18T04:16:30.319460+00:00"},{"alias_kind":"pith_short_12","alias_value":"OFLQGNSEASVH","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_16","alias_value":"OFLQGNSEASVHWRFX","created_at":"2026-05-18T12:26:37.096874+00:00"},{"alias_kind":"pith_short_8","alias_value":"OFLQGNSE","created_at":"2026-05-18T12:26:37.096874+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33","json":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33.json","graph_json":"https://pith.science/api/pith-number/OFLQGNSEASVHWRFXTQ6MM36N33/graph.json","events_json":"https://pith.science/api/pith-number/OFLQGNSEASVHWRFXTQ6MM36N33/events.json","paper":"https://pith.science/paper/OFLQGNSE"},"agent_actions":{"view_html":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33","download_json":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33.json","view_paper":"https://pith.science/paper/OFLQGNSE","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.0470&json=true","fetch_graph":"https://pith.science/api/pith-number/OFLQGNSEASVHWRFXTQ6MM36N33/graph.json","fetch_events":"https://pith.science/api/pith-number/OFLQGNSEASVHWRFXTQ6MM36N33/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33/action/storage_attestation","attest_author":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33/action/author_attestation","sign_citation":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33/action/citation_signature","submit_replication":"https://pith.science/pith/OFLQGNSEASVHWRFXTQ6MM36N33/action/replication_record"}},"created_at":"2026-05-18T04:16:30.319460+00:00","updated_at":"2026-05-18T04:16:30.319460+00:00"}