{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:QDQELEBIB25LAKCW3XQUZ4OPOK","short_pith_number":"pith:QDQELEBI","canonical_record":{"source":{"id":"1912.05616","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-04T10:56:42Z","cross_cats_sorted":[],"title_canon_sha256":"bcbd7a4a63a964dd05f931670177b1f169301ca536c5de32e1126943647f65cb","abstract_canon_sha256":"f8d9e2d700cfb28bb7b2eff62673d84789d6971c6de995d73562982e45077f09"},"schema_version":"1.0"},"canonical_sha256":"80e04590280ebab02856dde14cf1cf72802cc70a3888d90cff5c998e95139e53","source":{"kind":"arxiv","id":"1912.05616","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.05616","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"arxiv_version","alias_value":"1912.05616v1","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.05616","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_12","alias_value":"QDQELEBIB25L","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_16","alias_value":"QDQELEBIB25LAKCW","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_8","alias_value":"QDQELEBI","created_at":"2026-07-05T00:25:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:QDQELEBIB25LAKCW3XQUZ4OPOK","target":"record","payload":{"canonical_record":{"source":{"id":"1912.05616","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-04T10:56:42Z","cross_cats_sorted":[],"title_canon_sha256":"bcbd7a4a63a964dd05f931670177b1f169301ca536c5de32e1126943647f65cb","abstract_canon_sha256":"f8d9e2d700cfb28bb7b2eff62673d84789d6971c6de995d73562982e45077f09"},"schema_version":"1.0"},"canonical_sha256":"80e04590280ebab02856dde14cf1cf72802cc70a3888d90cff5c998e95139e53","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:25:40.925671Z","signature_b64":"mXjv4iGtai1PhnvFC08ScKNXvfKcQq/VFYMej6ffKfAW4q7aX/ka0SBfVe02mKD9Y1ZmZpmXOU3qDA4O5nkrAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"80e04590280ebab02856dde14cf1cf72802cc70a3888d90cff5c998e95139e53","last_reissued_at":"2026-07-05T00:25:40.925153Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:25:40.925153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1912.05616","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-07-05T00:25:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tY0SaHr5KhrVhJ2NqD8e2vFT7WkFyF8Sjzy2wn6R6rF6ZWErZh2ePUH8Mzqx6v9xFeFRTfeo3eFuLeZkjMEqCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T09:14:06.815574Z"},"content_sha256":"b7e64910af8e6b4a3770cd6ff7001f4f78fef206bd44865fe841a445f00a7837","schema_version":"1.0","event_id":"sha256:b7e64910af8e6b4a3770cd6ff7001f4f78fef206bd44865fe841a445f00a7837"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:QDQELEBIB25LAKCW3XQUZ4OPOK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Ensuring Liveness Properties of Distributed Systems: Open Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Rob van Glabbeek","submitted_at":"2019-08-04T10:56:42Z","abstract_excerpt":"Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations they lead to false conclusions. This document presents a research agenda aiming at laying the foundations of a theory of concurrency that is equipped to ensure liveness properties of distributed systems without making fairness assumptions. This theory will encompass process algebra, temporal logic and semantic models. The agenda also includes the development of a methodology and tools that allow successful application of this theory to the specification, analysis "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.05616","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1912.05616/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T00:25:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+SVjT9k2pFw1gSKoDk9lZf/mH3bqHZ+GH7lebySdYcyA+s+3U9hdq5U2r4LV3nB+FXDgodDpmh5zssG38NkVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T09:14:06.816531Z"},"content_sha256":"94640a3e4423d5a91be285435c8a38a58b5412f64bcc3a242dcdf69b89876782","schema_version":"1.0","event_id":"sha256:94640a3e4423d5a91be285435c8a38a58b5412f64bcc3a242dcdf69b89876782"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/bundle.json","state_url":"https://pith.science/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/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-08-16T09:14:06Z","links":{"resolver":"https://pith.science/pith/QDQELEBIB25LAKCW3XQUZ4OPOK","bundle":"https://pith.science/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/bundle.json","state":"https://pith.science/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QDQELEBIB25LAKCW3XQUZ4OPOK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:QDQELEBIB25LAKCW3XQUZ4OPOK","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":"f8d9e2d700cfb28bb7b2eff62673d84789d6971c6de995d73562982e45077f09","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-04T10:56:42Z","title_canon_sha256":"bcbd7a4a63a964dd05f931670177b1f169301ca536c5de32e1126943647f65cb"},"schema_version":"1.0","source":{"id":"1912.05616","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1912.05616","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"arxiv_version","alias_value":"1912.05616v1","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1912.05616","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_12","alias_value":"QDQELEBIB25L","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_16","alias_value":"QDQELEBIB25LAKCW","created_at":"2026-07-05T00:25:40Z"},{"alias_kind":"pith_short_8","alias_value":"QDQELEBI","created_at":"2026-07-05T00:25:40Z"}],"graph_snapshots":[{"event_id":"sha256:94640a3e4423d5a91be285435c8a38a58b5412f64bcc3a242dcdf69b89876782","target":"graph","created_at":"2026-07-05T00:25:40Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1912.05616/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations they lead to false conclusions. This document presents a research agenda aiming at laying the foundations of a theory of concurrency that is equipped to ensure liveness properties of distributed systems without making fairness assumptions. This theory will encompass process algebra, temporal logic and semantic models. The agenda also includes the development of a methodology and tools that allow successful application of this theory to the specification, analysis ","authors_text":"Rob van Glabbeek","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-04T10:56:42Z","title":"Ensuring Liveness Properties of Distributed Systems: Open Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1912.05616","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:b7e64910af8e6b4a3770cd6ff7001f4f78fef206bd44865fe841a445f00a7837","target":"record","created_at":"2026-07-05T00:25:40Z","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":"f8d9e2d700cfb28bb7b2eff62673d84789d6971c6de995d73562982e45077f09","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-08-04T10:56:42Z","title_canon_sha256":"bcbd7a4a63a964dd05f931670177b1f169301ca536c5de32e1126943647f65cb"},"schema_version":"1.0","source":{"id":"1912.05616","kind":"arxiv","version":1}},"canonical_sha256":"80e04590280ebab02856dde14cf1cf72802cc70a3888d90cff5c998e95139e53","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"80e04590280ebab02856dde14cf1cf72802cc70a3888d90cff5c998e95139e53","first_computed_at":"2026-07-05T00:25:40.925153Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:25:40.925153Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mXjv4iGtai1PhnvFC08ScKNXvfKcQq/VFYMej6ffKfAW4q7aX/ka0SBfVe02mKD9Y1ZmZpmXOU3qDA4O5nkrAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:25:40.925671Z","signed_message":"canonical_sha256_bytes"},"source_id":"1912.05616","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7e64910af8e6b4a3770cd6ff7001f4f78fef206bd44865fe841a445f00a7837","sha256:94640a3e4423d5a91be285435c8a38a58b5412f64bcc3a242dcdf69b89876782"],"state_sha256":"0a8f2d8887a62af1f6cc54f61e7e3b0545905ea2e482964b815948460d1b0b87"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rfQlJcPo69CNinQDygxbwrJA7r0mOAGvL0oiI0ssByoDq24CLNJqnszEZ9c908MbtExXNi+bbU536IIccL9CAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T09:14:06.823215Z","bundle_sha256":"feaeb1d549bca83566189c05789bfd70d0a31f46f8aef5f419d2c8f4b3c86266"}}