{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:EQUSWPEML6SNQ522C3FDKFEMQ5","short_pith_number":"pith:EQUSWPEM","schema_version":"1.0","canonical_sha256":"24292b3c8c5fa4d8775a16ca35148c8770fd591c9494672f3e92373b2580ef47","source":{"kind":"arxiv","id":"1708.07233","version":1},"attestation_state":"computed","paper":{"title":"Reliability and Fault-Tolerance by Choreographic Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.FL"],"primary_cat":"cs.PL","authors_text":"Adrian Francalanza (University of Malta), Claudio Antares Mezzina (IMT School for Advanced Studies Lucca, Emilio Tuosto (University of Leicester, Ian Cassar (Reykjavik University), Italy), UK)","submitted_at":"2017-08-24T00:39:55Z","abstract_excerpt":"Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more"},"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":"1708.07233","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-24T00:39:55Z","cross_cats_sorted":["cs.DC","cs.FL"],"title_canon_sha256":"54be1b3ee4a59af293dabb6883c693e67acfdcddca53bc028afd15731fb2e8d1","abstract_canon_sha256":"38048195f8904a929c341ecabea5ddcf483010f4614dbd5390349bffb4c27bf0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:36:46.817624Z","signature_b64":"X9qdt9++73whwxY3Y7rAba25g3sBvcqriyTlwJU9zSef4pvhSixY+L77fvcottdh9ORPEr8OFX/riV0S1BU6Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"24292b3c8c5fa4d8775a16ca35148c8770fd591c9494672f3e92373b2580ef47","last_reissued_at":"2026-05-18T00:36:46.816958Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:36:46.816958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reliability and Fault-Tolerance by Choreographic Design","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.FL"],"primary_cat":"cs.PL","authors_text":"Adrian Francalanza (University of Malta), Claudio Antares Mezzina (IMT School for Advanced Studies Lucca, Emilio Tuosto (University of Leicester, Ian Cassar (Reykjavik University), Italy), UK)","submitted_at":"2017-08-24T00:39:55Z","abstract_excerpt":"Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed software based on (micro-)services where different services are developed independently by disparate teams exacerbate the problem. In fact, services are meant to be composed together and run in open context where unpredictable behaviours can emerge. This makes it necessary to adopt suitable strategies for monitoring the execution and incorporate recovery and adaptation mechanisms so to make distributed programs more"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.07233","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":"1708.07233","created_at":"2026-05-18T00:36:46.817057+00:00"},{"alias_kind":"arxiv_version","alias_value":"1708.07233v1","created_at":"2026-05-18T00:36:46.817057+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.07233","created_at":"2026-05-18T00:36:46.817057+00:00"},{"alias_kind":"pith_short_12","alias_value":"EQUSWPEML6SN","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_16","alias_value":"EQUSWPEML6SNQ522","created_at":"2026-05-18T12:31:12.930513+00:00"},{"alias_kind":"pith_short_8","alias_value":"EQUSWPEM","created_at":"2026-05-18T12:31:12.930513+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/EQUSWPEML6SNQ522C3FDKFEMQ5","json":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5.json","graph_json":"https://pith.science/api/pith-number/EQUSWPEML6SNQ522C3FDKFEMQ5/graph.json","events_json":"https://pith.science/api/pith-number/EQUSWPEML6SNQ522C3FDKFEMQ5/events.json","paper":"https://pith.science/paper/EQUSWPEM"},"agent_actions":{"view_html":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5","download_json":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5.json","view_paper":"https://pith.science/paper/EQUSWPEM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1708.07233&json=true","fetch_graph":"https://pith.science/api/pith-number/EQUSWPEML6SNQ522C3FDKFEMQ5/graph.json","fetch_events":"https://pith.science/api/pith-number/EQUSWPEML6SNQ522C3FDKFEMQ5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5/action/storage_attestation","attest_author":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5/action/author_attestation","sign_citation":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5/action/citation_signature","submit_replication":"https://pith.science/pith/EQUSWPEML6SNQ522C3FDKFEMQ5/action/replication_record"}},"created_at":"2026-05-18T00:36:46.817057+00:00","updated_at":"2026-05-18T00:36:46.817057+00:00"}