{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:O72RRMOWVEA52PY6D2WHBC6PMI","short_pith_number":"pith:O72RRMOW","canonical_record":{"source":{"id":"1010.2824","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-10-14T05:16:17Z","cross_cats_sorted":[],"title_canon_sha256":"03bb6068ce7d6d73d4e3f3bf1b2ed2497195cd0c6bdac6343ad5e9569f2f95cb","abstract_canon_sha256":"73ce75356bc6e682fc26b3c332642f1456bd6f9a099d4d6a281386c341fcdd86"},"schema_version":"1.0"},"canonical_sha256":"77f518b1d6a901dd3f1e1eac708bcf620f5cb145d56719e2050102928ec0fb71","source":{"kind":"arxiv","id":"1010.2824","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2824","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2824v1","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2824","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"O72RRMOWVEA5","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"O72RRMOWVEA52PY6","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"O72RRMOW","created_at":"2026-05-18T12:26:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:O72RRMOWVEA52PY6D2WHBC6PMI","target":"record","payload":{"canonical_record":{"source":{"id":"1010.2824","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-10-14T05:16:17Z","cross_cats_sorted":[],"title_canon_sha256":"03bb6068ce7d6d73d4e3f3bf1b2ed2497195cd0c6bdac6343ad5e9569f2f95cb","abstract_canon_sha256":"73ce75356bc6e682fc26b3c332642f1456bd6f9a099d4d6a281386c341fcdd86"},"schema_version":"1.0"},"canonical_sha256":"77f518b1d6a901dd3f1e1eac708bcf620f5cb145d56719e2050102928ec0fb71","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:39:19.114099Z","signature_b64":"F7Q3Qnwo/jedTPxYgbK7JP0ps7yRUGcLyehxWqtJNzim7AQjUIx0p9//dkGDVI0BtnZIGg1Q3rFLJyvKpgg9DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"77f518b1d6a901dd3f1e1eac708bcf620f5cb145d56719e2050102928ec0fb71","last_reissued_at":"2026-05-18T04:39:19.113514Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:39:19.113514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1010.2824","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-18T04:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ooe6pEiH8I8YonZjbesCGMCjmX1gYEXP3pFupVKq3PgTSGzDySRlPBB4Px+jgULBJ1aktNlaeJGUcRxO4rU+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T18:42:10.044355Z"},"content_sha256":"7375734373d1342eea34c2b59c15bb0f279be0a78c16b80d4a9ba74587d129f4","schema_version":"1.0","event_id":"sha256:7375734373d1342eea34c2b59c15bb0f279be0a78c16b80d4a9ba74587d129f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:O72RRMOWVEA52PY6D2WHBC6PMI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Behavioural Models for Group Communications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Eric Madelaine, Ludovic Henrio, Rab\\'ea Ameur-Boulifa","submitted_at":"2010-10-14T05:16:17Z","abstract_excerpt":"Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadcasted to all members. This paper provides  models  for automatic verification of group-based applications,  typically for detecting deadlocks or checking message ordering. We show how to encode group communication, together with different forms of synchronisation for group results. The proposed models are parametric such that, for example, different"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2824","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-18T04:39:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U8ljtpNRsQ850Qu6bNHanii/EPMAxUMtdQzXeE7IPMpKHKSvOLKTrFY2ZuR63ONm69xxZcIKcj5Zdwj8fGPNAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T18:42:10.044699Z"},"content_sha256":"438f6c4a39b045899e38392e9f62f36faceb96a05cddf39c080a105079822666","schema_version":"1.0","event_id":"sha256:438f6c4a39b045899e38392e9f62f36faceb96a05cddf39c080a105079822666"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O72RRMOWVEA52PY6D2WHBC6PMI/bundle.json","state_url":"https://pith.science/pith/O72RRMOWVEA52PY6D2WHBC6PMI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O72RRMOWVEA52PY6D2WHBC6PMI/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-01T18:42:10Z","links":{"resolver":"https://pith.science/pith/O72RRMOWVEA52PY6D2WHBC6PMI","bundle":"https://pith.science/pith/O72RRMOWVEA52PY6D2WHBC6PMI/bundle.json","state":"https://pith.science/pith/O72RRMOWVEA52PY6D2WHBC6PMI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O72RRMOWVEA52PY6D2WHBC6PMI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:O72RRMOWVEA52PY6D2WHBC6PMI","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":"73ce75356bc6e682fc26b3c332642f1456bd6f9a099d4d6a281386c341fcdd86","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-10-14T05:16:17Z","title_canon_sha256":"03bb6068ce7d6d73d4e3f3bf1b2ed2497195cd0c6bdac6343ad5e9569f2f95cb"},"schema_version":"1.0","source":{"id":"1010.2824","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2824","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2824v1","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2824","created_at":"2026-05-18T04:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"O72RRMOWVEA5","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_16","alias_value":"O72RRMOWVEA52PY6","created_at":"2026-05-18T12:26:12Z"},{"alias_kind":"pith_short_8","alias_value":"O72RRMOW","created_at":"2026-05-18T12:26:12Z"}],"graph_snapshots":[{"event_id":"sha256:438f6c4a39b045899e38392e9f62f36faceb96a05cddf39c080a105079822666","target":"graph","created_at":"2026-05-18T04:39:19Z","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":"Group communication is becoming a more and more popular infrastructure for efficient distributed applications. It consists in representing locally a group of remote objects as a single object accessed in a single step; communications are then broadcasted to all members. This paper provides  models  for automatic verification of group-based applications,  typically for detecting deadlocks or checking message ordering. We show how to encode group communication, together with different forms of synchronisation for group results. The proposed models are parametric such that, for example, different","authors_text":"Eric Madelaine, Ludovic Henrio, Rab\\'ea Ameur-Boulifa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-10-14T05:16:17Z","title":"Behavioural Models for Group Communications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2824","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:7375734373d1342eea34c2b59c15bb0f279be0a78c16b80d4a9ba74587d129f4","target":"record","created_at":"2026-05-18T04:39:19Z","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":"73ce75356bc6e682fc26b3c332642f1456bd6f9a099d4d6a281386c341fcdd86","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2010-10-14T05:16:17Z","title_canon_sha256":"03bb6068ce7d6d73d4e3f3bf1b2ed2497195cd0c6bdac6343ad5e9569f2f95cb"},"schema_version":"1.0","source":{"id":"1010.2824","kind":"arxiv","version":1}},"canonical_sha256":"77f518b1d6a901dd3f1e1eac708bcf620f5cb145d56719e2050102928ec0fb71","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"77f518b1d6a901dd3f1e1eac708bcf620f5cb145d56719e2050102928ec0fb71","first_computed_at":"2026-05-18T04:39:19.113514Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:39:19.113514Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"F7Q3Qnwo/jedTPxYgbK7JP0ps7yRUGcLyehxWqtJNzim7AQjUIx0p9//dkGDVI0BtnZIGg1Q3rFLJyvKpgg9DA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:39:19.114099Z","signed_message":"canonical_sha256_bytes"},"source_id":"1010.2824","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7375734373d1342eea34c2b59c15bb0f279be0a78c16b80d4a9ba74587d129f4","sha256:438f6c4a39b045899e38392e9f62f36faceb96a05cddf39c080a105079822666"],"state_sha256":"309a66ccc4e0068bc2923384d13b19b26d2179e6c47f8930bb733ca2f3b2f966"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nnNAkciEml4Ba5c0RnXz7GaLY1e+FcoYtkwhLTnYorKtvgMfLJPijdZuS48eX1AVZ0vsOHq1f8cqoM/qaVB5Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T18:42:10.046944Z","bundle_sha256":"c40916a1489cbb7820f7a8f13f3346734ba4876572154b0dc0d21ecba4581457"}}