{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:WWZJ4PETANDLGGUSB4EHT34QA7","short_pith_number":"pith:WWZJ4PET","canonical_record":{"source":{"id":"1411.3791","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T04:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"f746227e7622b16e49f2f1dff235a2735d323fa9baaddacea27baf0a65e15559","abstract_canon_sha256":"d164d5d49ad779838ce67a3718fdeccbffcc64169d31f8029b9b1d2cb4a4192f"},"schema_version":"1.0"},"canonical_sha256":"b5b29e3c930346b31a920f0879ef9007daa56ebbfda56b628a6a4664fa53e112","source":{"kind":"arxiv","id":"1411.3791","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.3791","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.3791v1","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.3791","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"WWZJ4PETANDL","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WWZJ4PETANDLGGUS","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WWZJ4PET","created_at":"2026-05-18T12:28:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:WWZJ4PETANDLGGUSB4EHT34QA7","target":"record","payload":{"canonical_record":{"source":{"id":"1411.3791","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T04:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"f746227e7622b16e49f2f1dff235a2735d323fa9baaddacea27baf0a65e15559","abstract_canon_sha256":"d164d5d49ad779838ce67a3718fdeccbffcc64169d31f8029b9b1d2cb4a4192f"},"schema_version":"1.0"},"canonical_sha256":"b5b29e3c930346b31a920f0879ef9007daa56ebbfda56b628a6a4664fa53e112","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:37:37.707695Z","signature_b64":"s4C4QZkRWm2sQbXc3N+8eYdES0Gl2ljPHSG9OaXSRvHgjEP4wI0hHfKsvczjTwHIMAiMefJcoAucED/HqwluAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5b29e3c930346b31a920f0879ef9007daa56ebbfda56b628a6a4664fa53e112","last_reissued_at":"2026-05-18T02:37:37.707205Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:37:37.707205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.3791","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8UEbmVMH7x2le8w3Lhc+a2xb/JH6wGcb+ScK7EW2qxxngW5dJd4Cz8oxlKoWWMLVNd3Gk6Y+fnfNp+8mGLlNBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T14:34:20.686002Z"},"content_sha256":"23d704a883501f758c09631113b9c055fb853510ca5b57113526a718d4f45bb2","schema_version":"1.0","event_id":"sha256:23d704a883501f758c09631113b9c055fb853510ca5b57113526a718d4f45bb2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:WWZJ4PETANDLGGUSB4EHT34QA7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Choreographies and Behavioural Contracts on the Way to Dynamic Updates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"France), Gianluigi Zavattaro (University of Bologna, Italy / INRIA, Mario Bravetti (University of Bologna","submitted_at":"2014-11-14T04:38:51Z","abstract_excerpt":"We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous address or name based communication with patient non-preemptable or impatient invocations, or asynchronous communication. Correspondingly relations between behavioural contracts and choreographic descriptions are considered, where a c"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.3791","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:37:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SaQ6fI4LlwfmfTHXK19BWksf4PxTc6APoR1bBUJ83l7YhSR5O+n18lYZl8z6gxxXyGlGp6gzBtP9mB9Resh5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T14:34:20.686361Z"},"content_sha256":"e6bf648bb7553ea1adb831d9c65e01d18cef83770d433512ce4823e085ca9d25","schema_version":"1.0","event_id":"sha256:e6bf648bb7553ea1adb831d9c65e01d18cef83770d433512ce4823e085ca9d25"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WWZJ4PETANDLGGUSB4EHT34QA7/bundle.json","state_url":"https://pith.science/pith/WWZJ4PETANDLGGUSB4EHT34QA7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WWZJ4PETANDLGGUSB4EHT34QA7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-09T14:34:20Z","links":{"resolver":"https://pith.science/pith/WWZJ4PETANDLGGUSB4EHT34QA7","bundle":"https://pith.science/pith/WWZJ4PETANDLGGUSB4EHT34QA7/bundle.json","state":"https://pith.science/pith/WWZJ4PETANDLGGUSB4EHT34QA7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WWZJ4PETANDLGGUSB4EHT34QA7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:WWZJ4PETANDLGGUSB4EHT34QA7","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":"d164d5d49ad779838ce67a3718fdeccbffcc64169d31f8029b9b1d2cb4a4192f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T04:38:51Z","title_canon_sha256":"f746227e7622b16e49f2f1dff235a2735d323fa9baaddacea27baf0a65e15559"},"schema_version":"1.0","source":{"id":"1411.3791","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.3791","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"arxiv_version","alias_value":"1411.3791v1","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.3791","created_at":"2026-05-18T02:37:37Z"},{"alias_kind":"pith_short_12","alias_value":"WWZJ4PETANDL","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_16","alias_value":"WWZJ4PETANDLGGUS","created_at":"2026-05-18T12:28:54Z"},{"alias_kind":"pith_short_8","alias_value":"WWZJ4PET","created_at":"2026-05-18T12:28:54Z"}],"graph_snapshots":[{"event_id":"sha256:e6bf648bb7553ea1adb831d9c65e01d18cef83770d433512ce4823e085ca9d25","target":"graph","created_at":"2026-05-18T02:37:37Z","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":"We survey our work on choreographies and behavioural contracts in multiparty interactions. In particular theories of behavioural contracts are presented which enable reasoning about correct service composition (contract compliance) and service substitutability (contract refinement preorder) under different assumptions concerning service communication: synchronous address or name based communication with patient non-preemptable or impatient invocations, or asynchronous communication. Correspondingly relations between behavioural contracts and choreographic descriptions are considered, where a c","authors_text":"France), Gianluigi Zavattaro (University of Bologna, Italy / INRIA, Mario Bravetti (University of Bologna","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T04:38:51Z","title":"Choreographies and Behavioural Contracts on the Way to Dynamic Updates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.3791","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:23d704a883501f758c09631113b9c055fb853510ca5b57113526a718d4f45bb2","target":"record","created_at":"2026-05-18T02:37:37Z","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":"d164d5d49ad779838ce67a3718fdeccbffcc64169d31f8029b9b1d2cb4a4192f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-11-14T04:38:51Z","title_canon_sha256":"f746227e7622b16e49f2f1dff235a2735d323fa9baaddacea27baf0a65e15559"},"schema_version":"1.0","source":{"id":"1411.3791","kind":"arxiv","version":1}},"canonical_sha256":"b5b29e3c930346b31a920f0879ef9007daa56ebbfda56b628a6a4664fa53e112","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5b29e3c930346b31a920f0879ef9007daa56ebbfda56b628a6a4664fa53e112","first_computed_at":"2026-05-18T02:37:37.707205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:37:37.707205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s4C4QZkRWm2sQbXc3N+8eYdES0Gl2ljPHSG9OaXSRvHgjEP4wI0hHfKsvczjTwHIMAiMefJcoAucED/HqwluAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:37:37.707695Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.3791","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23d704a883501f758c09631113b9c055fb853510ca5b57113526a718d4f45bb2","sha256:e6bf648bb7553ea1adb831d9c65e01d18cef83770d433512ce4823e085ca9d25"],"state_sha256":"29d56f3dd136f9bc32507a754db4f82b5073510be4d0f6837339d4a523699192"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nYZACaD6E3SStF5uS9CbCsa1S5ZHZEXjbSk5gLti10w7eGbYQGWfRKsc8Twd+doCOvdReZmXhB2hELa6nQWSCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T14:34:20.688256Z","bundle_sha256":"7f815a309ea157ab52c6825d05d2c99baa66492a9ff4f12fb4785d475d2ac445"}}