{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:BMHKRB64IO4WNN2O7IASG7NXOC","short_pith_number":"pith:BMHKRB64","schema_version":"1.0","canonical_sha256":"0b0ea887dc43b966b74efa01237db770806a3b0f75f91cb54ef1290e9798e08f","source":{"kind":"arxiv","id":"1711.04240","version":1},"attestation_state":"computed","paper":{"title":"Ensuring Liveness Properties of Distributed Systems (A Research Agenda)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Rob van Glabbeek","submitted_at":"2017-11-12T05:37:55Z","abstract_excerpt":"Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions.\n  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, as well as treatments of real-time. The agenda also includes developing a methodology that allows successful application of this theory to the sp"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1711.04240","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2017-11-12T05:37:55Z","cross_cats_sorted":[],"title_canon_sha256":"300dba6f2ea757ff4e58c9efd0066f6b7af570072c54a07b725930b53d091a58","abstract_canon_sha256":"f38efbbccd7f4a67f10a0043a15d16706fde22e894346d95036863b28ce2ed08"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:39.678109Z","signature_b64":"/DmaOt63P+bdB7QSKzR78IqGKLSnXLiPiYwa88bvRzxUgpizsyGFQeOld9KIJz8n5tAE2gcmcMiTuw0BUJikCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b0ea887dc43b966b74efa01237db770806a3b0f75f91cb54ef1290e9798e08f","last_reissued_at":"2026-05-18T00:30:39.677262Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:39.677262Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Ensuring Liveness Properties of Distributed Systems (A Research Agenda)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Rob van Glabbeek","submitted_at":"2017-11-12T05:37:55Z","abstract_excerpt":"Often fairness assumptions need to be made in order to establish liveness properties of distributed systems, but in many situations these lead to false conclusions.\n  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, as well as treatments of real-time. The agenda also includes developing a methodology that allows successful application of this theory to the sp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.04240","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1711.04240","created_at":"2026-05-18T00:30:39.677426+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.04240v1","created_at":"2026-05-18T00:30:39.677426+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.04240","created_at":"2026-05-18T00:30:39.677426+00:00"},{"alias_kind":"pith_short_12","alias_value":"BMHKRB64IO4W","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_16","alias_value":"BMHKRB64IO4WNN2O","created_at":"2026-05-18T12:31:08.081275+00:00"},{"alias_kind":"pith_short_8","alias_value":"BMHKRB64","created_at":"2026-05-18T12:31:08.081275+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC","json":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC.json","graph_json":"https://pith.science/api/pith-number/BMHKRB64IO4WNN2O7IASG7NXOC/graph.json","events_json":"https://pith.science/api/pith-number/BMHKRB64IO4WNN2O7IASG7NXOC/events.json","paper":"https://pith.science/paper/BMHKRB64"},"agent_actions":{"view_html":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC","download_json":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC.json","view_paper":"https://pith.science/paper/BMHKRB64","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.04240&json=true","fetch_graph":"https://pith.science/api/pith-number/BMHKRB64IO4WNN2O7IASG7NXOC/graph.json","fetch_events":"https://pith.science/api/pith-number/BMHKRB64IO4WNN2O7IASG7NXOC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC/action/storage_attestation","attest_author":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC/action/author_attestation","sign_citation":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC/action/citation_signature","submit_replication":"https://pith.science/pith/BMHKRB64IO4WNN2O7IASG7NXOC/action/replication_record"}},"created_at":"2026-05-18T00:30:39.677426+00:00","updated_at":"2026-05-18T00:30:39.677426+00:00"}