{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:MNK4DX2OP463ZUGLNOAOWPFVGT","short_pith_number":"pith:MNK4DX2O","schema_version":"1.0","canonical_sha256":"6355c1df4e7f3dbcd0cb6b80eb3cb534e6539808a19d9741a1a168ac1f709f4c","source":{"kind":"arxiv","id":"1602.03729","version":2},"attestation_state":"computed","paper":{"title":"A Language for the Declarative Composition of Concurrent Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Fabrizio Montesi, Lu\\'is Cruz-Filipe","submitted_at":"2016-02-11T14:02:09Z","abstract_excerpt":"A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple protocols and its interplay with internal computation is the culprit for most errors. Multiparty Session Types and Choreographic Programming are methodologies for developing correct-by-construction concurrent and distributed software, based on global descriptions of communication flows. However, protocol composition is either limited or left unchecked. Inspired by these two methodologies, in this work we present a new l"},"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":"1602.03729","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T14:02:09Z","cross_cats_sorted":[],"title_canon_sha256":"8f450de15903e9a0d2ab2643f0aeba5ee3009ffa940c0c91a10f855cc4c045b5","abstract_canon_sha256":"f1b345c4022993ab74cb2e4ce13311db5f32fc023b70dba8848e89360212b982"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:38:31.408077Z","signature_b64":"WGFtDDBaM1M8979H58QBJ3kn8WNvoXosnp5DZeHxovFmLViwHocq3aWwBM14u/w+VLR3QV4ftNTIinn9x4MyBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6355c1df4e7f3dbcd0cb6b80eb3cb534e6539808a19d9741a1a168ac1f709f4c","last_reissued_at":"2026-05-18T00:38:31.407576Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:38:31.407576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Language for the Declarative Composition of Concurrent Protocols","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Fabrizio Montesi, Lu\\'is Cruz-Filipe","submitted_at":"2016-02-11T14:02:09Z","abstract_excerpt":"A recent study of bugs in real-world concurrent and distributed systems found that, while implementations of individual protocols tend to be robust, the composition of multiple protocols and its interplay with internal computation is the culprit for most errors. Multiparty Session Types and Choreographic Programming are methodologies for developing correct-by-construction concurrent and distributed software, based on global descriptions of communication flows. However, protocol composition is either limited or left unchecked. Inspired by these two methodologies, in this work we present a new l"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03729","kind":"arxiv","version":2},"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":"1602.03729","created_at":"2026-05-18T00:38:31.407651+00:00"},{"alias_kind":"arxiv_version","alias_value":"1602.03729v2","created_at":"2026-05-18T00:38:31.407651+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03729","created_at":"2026-05-18T00:38:31.407651+00:00"},{"alias_kind":"pith_short_12","alias_value":"MNK4DX2OP463","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_16","alias_value":"MNK4DX2OP463ZUGL","created_at":"2026-05-18T12:30:32.724797+00:00"},{"alias_kind":"pith_short_8","alias_value":"MNK4DX2O","created_at":"2026-05-18T12:30:32.724797+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/MNK4DX2OP463ZUGLNOAOWPFVGT","json":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT.json","graph_json":"https://pith.science/api/pith-number/MNK4DX2OP463ZUGLNOAOWPFVGT/graph.json","events_json":"https://pith.science/api/pith-number/MNK4DX2OP463ZUGLNOAOWPFVGT/events.json","paper":"https://pith.science/paper/MNK4DX2O"},"agent_actions":{"view_html":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT","download_json":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT.json","view_paper":"https://pith.science/paper/MNK4DX2O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1602.03729&json=true","fetch_graph":"https://pith.science/api/pith-number/MNK4DX2OP463ZUGLNOAOWPFVGT/graph.json","fetch_events":"https://pith.science/api/pith-number/MNK4DX2OP463ZUGLNOAOWPFVGT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT/action/storage_attestation","attest_author":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT/action/author_attestation","sign_citation":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT/action/citation_signature","submit_replication":"https://pith.science/pith/MNK4DX2OP463ZUGLNOAOWPFVGT/action/replication_record"}},"created_at":"2026-05-18T00:38:31.407651+00:00","updated_at":"2026-05-18T00:38:31.407651+00:00"}