{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:XZYJKO7NL3GM4ZHXWDGGTX2GBW","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":"3633e7039ddb3dbbc3328373d6857fe0895501fcca89ce6964bcf19c97d7d5c8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-04-14T08:13:05Z","title_canon_sha256":"ab1340c88a189fa962dd2d377b979334f9637139b1d9a16e406b758458bed33d"},"schema_version":"1.0","source":{"id":"1504.03449","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1504.03449","created_at":"2026-05-18T02:18:50Z"},{"alias_kind":"arxiv_version","alias_value":"1504.03449v1","created_at":"2026-05-18T02:18:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1504.03449","created_at":"2026-05-18T02:18:50Z"},{"alias_kind":"pith_short_12","alias_value":"XZYJKO7NL3GM","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_16","alias_value":"XZYJKO7NL3GM4ZHX","created_at":"2026-05-18T12:29:50Z"},{"alias_kind":"pith_short_8","alias_value":"XZYJKO7N","created_at":"2026-05-18T12:29:50Z"}],"graph_snapshots":[{"event_id":"sha256:202dc7578f8fe580e004b542b9ccd4c0c8f34529be443be4f2eaecb066dae177","target":"graph","created_at":"2026-05-18T02:18: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":"Failure detection protocols---a fundamental building block for crafting fault-tolerant distributed systems---are in many cases described by their authors making use of informal pseudo-codes of their conception. Often these pseudo-codes use syntactical constructs that are not available in COTS programming languages such as C or C++. This translates into informal descriptions that call for ad hoc interpretations and implementations. Being informal, these descriptions cannot be tested by their authors, which may translate into insufficiently detailed or even faulty specifications. This paper tack","authors_text":"Chris Blondia, Vincenzo De Florio","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-04-14T08:13:05Z","title":"Design Tool To Express Failure Detection Protocols"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1504.03449","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:aa9293acf45d1f39d5bc038b437c96114398a610f0e5d4c0c657b64b06c83d34","target":"record","created_at":"2026-05-18T02:18: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":"3633e7039ddb3dbbc3328373d6857fe0895501fcca89ce6964bcf19c97d7d5c8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2015-04-14T08:13:05Z","title_canon_sha256":"ab1340c88a189fa962dd2d377b979334f9637139b1d9a16e406b758458bed33d"},"schema_version":"1.0","source":{"id":"1504.03449","kind":"arxiv","version":1}},"canonical_sha256":"be70953bed5eccce64f7b0cc69df460d9b94790369667bffa43d13a70d6121c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"be70953bed5eccce64f7b0cc69df460d9b94790369667bffa43d13a70d6121c3","first_computed_at":"2026-05-18T02:18:50.913909Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:18:50.913909Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eCNbthU2o2l6dEk32cqcuaW0iiBmSLHrbs1nQ0nOrFwL0F5EpenNYOnyc5z6FgqTab3dINUS6nv7iwQ+45xnBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:18:50.914673Z","signed_message":"canonical_sha256_bytes"},"source_id":"1504.03449","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aa9293acf45d1f39d5bc038b437c96114398a610f0e5d4c0c657b64b06c83d34","sha256:202dc7578f8fe580e004b542b9ccd4c0c8f34529be443be4f2eaecb066dae177"],"state_sha256":"77f2f71a3833f6f813bda8037e8251c64409337ec96371a39d8dabed50db77bc"}