{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:FHW76OISUC5JDQ4Q4343GVQQKU","short_pith_number":"pith:FHW76OIS","canonical_record":{"source":{"id":"1308.0390","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-02T01:55:37Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"cb3de5daad0a5e33a28181df24dc14ec90946ea941f11eb609e13d9bd29daea7","abstract_canon_sha256":"25e68e7c1add72449e160e8dc4d4f3f539e8fe2a6995801575270568a110646c"},"schema_version":"1.0"},"canonical_sha256":"29edff3912a0ba91c390e6f9b3561055279ba153f02378737018cf8d1d262b41","source":{"kind":"arxiv","id":"1308.0390","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0390","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0390v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0390","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"FHW76OISUC5J","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FHW76OISUC5JDQ4Q","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FHW76OIS","created_at":"2026-05-18T12:27:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:FHW76OISUC5JDQ4Q4343GVQQKU","target":"record","payload":{"canonical_record":{"source":{"id":"1308.0390","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-02T01:55:37Z","cross_cats_sorted":["cs.DC","cs.LO"],"title_canon_sha256":"cb3de5daad0a5e33a28181df24dc14ec90946ea941f11eb609e13d9bd29daea7","abstract_canon_sha256":"25e68e7c1add72449e160e8dc4d4f3f539e8fe2a6995801575270568a110646c"},"schema_version":"1.0"},"canonical_sha256":"29edff3912a0ba91c390e6f9b3561055279ba153f02378737018cf8d1d262b41","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:50.601438Z","signature_b64":"LynELgWqvZgbgYg8PvwCNB5k7mVW0+zHfOPc0Q0cARCbz1t8jg0GTuOT8mVS3+oCmku9sMcHh5IIfWMe72asDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"29edff3912a0ba91c390e6f9b3561055279ba153f02378737018cf8d1d262b41","last_reissued_at":"2026-05-18T03:16:50.600817Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:50.600817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.0390","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-18T03:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fxccigTA6pNEZltrcCfMp/RDZJQXwYCTORzFFVqP0UEalICvcrI9mubxUj6SCSU0y+o1YvTAIUi7Mwm1NIFpAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:30:00.088041Z"},"content_sha256":"68cd89ce10d53831d2f6ccbe773b466e157cfefdfaf4d6988d2b59606b59c316","schema_version":"1.0","event_id":"sha256:68cd89ce10d53831d2f6ccbe773b466e157cfefdfaf4d6988d2b59606b59c316"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:FHW76OISUC5JDQ4Q4343GVQQKU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Amending Choreographies","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO"],"primary_cat":"cs.PL","authors_text":"Denmark), Fabrizio Montesi (IT University of Copenhagen, Gianluigi Zavattaro (Focus Team, Italy), Ivan Lanese (Focus Team, University of Bologna/INRIA","submitted_at":"2013-08-02T01:55:37Z","abstract_excerpt":"Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection.  To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected.\n  In this paper, we present a transformation for amending choreographies that do not respect common syntactic conditions for projection correctness.  Specifically, our transformation automatically red"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0390","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-18T03:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"upKA+YPg8Qboer9MJ4UuDSQsCoqhD+aD6UutwIpVURtF5I94qZ+DKg/l7qz/KeWhMs1Brx2JS8tutC8EjvBdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T07:30:00.088754Z"},"content_sha256":"317b25abe60ff7892ebdd83e62d8405cb3dcb4942f082bdd1341a3ccb00d05b4","schema_version":"1.0","event_id":"sha256:317b25abe60ff7892ebdd83e62d8405cb3dcb4942f082bdd1341a3ccb00d05b4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FHW76OISUC5JDQ4Q4343GVQQKU/bundle.json","state_url":"https://pith.science/pith/FHW76OISUC5JDQ4Q4343GVQQKU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FHW76OISUC5JDQ4Q4343GVQQKU/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-05T07:30:00Z","links":{"resolver":"https://pith.science/pith/FHW76OISUC5JDQ4Q4343GVQQKU","bundle":"https://pith.science/pith/FHW76OISUC5JDQ4Q4343GVQQKU/bundle.json","state":"https://pith.science/pith/FHW76OISUC5JDQ4Q4343GVQQKU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FHW76OISUC5JDQ4Q4343GVQQKU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:FHW76OISUC5JDQ4Q4343GVQQKU","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":"25e68e7c1add72449e160e8dc4d4f3f539e8fe2a6995801575270568a110646c","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-02T01:55:37Z","title_canon_sha256":"cb3de5daad0a5e33a28181df24dc14ec90946ea941f11eb609e13d9bd29daea7"},"schema_version":"1.0","source":{"id":"1308.0390","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.0390","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1308.0390v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.0390","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"FHW76OISUC5J","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_16","alias_value":"FHW76OISUC5JDQ4Q","created_at":"2026-05-18T12:27:45Z"},{"alias_kind":"pith_short_8","alias_value":"FHW76OIS","created_at":"2026-05-18T12:27:45Z"}],"graph_snapshots":[{"event_id":"sha256:317b25abe60ff7892ebdd83e62d8405cb3dcb4942f082bdd1341a3ccb00d05b4","target":"graph","created_at":"2026-05-18T03:16:50Z","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":"Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection.  To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected.\n  In this paper, we present a transformation for amending choreographies that do not respect common syntactic conditions for projection correctness.  Specifically, our transformation automatically red","authors_text":"Denmark), Fabrizio Montesi (IT University of Copenhagen, Gianluigi Zavattaro (Focus Team, Italy), Ivan Lanese (Focus Team, University of Bologna/INRIA","cross_cats":["cs.DC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-02T01:55:37Z","title":"Amending Choreographies"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.0390","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:68cd89ce10d53831d2f6ccbe773b466e157cfefdfaf4d6988d2b59606b59c316","target":"record","created_at":"2026-05-18T03:16:50Z","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":"25e68e7c1add72449e160e8dc4d4f3f539e8fe2a6995801575270568a110646c","cross_cats_sorted":["cs.DC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-08-02T01:55:37Z","title_canon_sha256":"cb3de5daad0a5e33a28181df24dc14ec90946ea941f11eb609e13d9bd29daea7"},"schema_version":"1.0","source":{"id":"1308.0390","kind":"arxiv","version":1}},"canonical_sha256":"29edff3912a0ba91c390e6f9b3561055279ba153f02378737018cf8d1d262b41","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"29edff3912a0ba91c390e6f9b3561055279ba153f02378737018cf8d1d262b41","first_computed_at":"2026-05-18T03:16:50.600817Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:50.600817Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LynELgWqvZgbgYg8PvwCNB5k7mVW0+zHfOPc0Q0cARCbz1t8jg0GTuOT8mVS3+oCmku9sMcHh5IIfWMe72asDw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:50.601438Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.0390","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:68cd89ce10d53831d2f6ccbe773b466e157cfefdfaf4d6988d2b59606b59c316","sha256:317b25abe60ff7892ebdd83e62d8405cb3dcb4942f082bdd1341a3ccb00d05b4"],"state_sha256":"2b5fd22c52ab22374868fe5c95896e7eb227ead007c79f4b6e374b9ceb960925"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n/6Gloiai5p4ouTesdo547tccCUAtxHQzHzdUZGkvQQC7XXkUtf19KKQYQYIPSQhACFLfxhxR36eq08AqFQ0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T07:30:00.092296Z","bundle_sha256":"c8872d550e078d1b93a75de8c2e1b7955ede790cce13b86abe6f6c7220d03277"}}