{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:JB4H6YOCGK46MAD2GAUV4W7LUY","short_pith_number":"pith:JB4H6YOC","schema_version":"1.0","canonical_sha256":"48787f61c232b9e6007a30295e5beba6148bfd875bdeb7ecf8dafee9e760c1ad","source":{"kind":"arxiv","id":"1711.11208","version":1},"attestation_state":"computed","paper":{"title":"Keep it Fair: Equivalences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.FL"],"primary_cat":"cs.LO","authors_text":"Germany), Stephan Mennicke (TU Braunschweig, Tobias Prehn (TU Berlin","submitted_at":"2017-11-30T03:45:30Z","abstract_excerpt":"For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distributed systems consider equivalences fundamental, since they (1) preserve desirable correctness characteristics and (2) often allow for component substitution making compositional reasoning feasible. Modeling distributed systems often requires abstraction utilizing nondeterminism which induces unintended behaviors in terms of infinite executions with one nondeterministic choice being recurrently resolved, each time negle"},"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.11208","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-11-30T03:45:30Z","cross_cats_sorted":["cs.DC","cs.FL"],"title_canon_sha256":"7cdb6e2d6b652b70bf6ad65b9d94c0e39e01278758db6107fc44ff70ab7ed591","abstract_canon_sha256":"080119a226ec0e9aa0b9f2144ac3101f033952ad160c7bcfbdb9f7081c43a109"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:29:12.218777Z","signature_b64":"YT11aF2yXFZi6iRttq29BBxATKM+pxd1VFHxRBjHp3Jg1n/MpmNuYS2TtQZTcB2Ilx+guPFceokS98/QElP/AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"48787f61c232b9e6007a30295e5beba6148bfd875bdeb7ecf8dafee9e760c1ad","last_reissued_at":"2026-05-18T00:29:12.218228Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:29:12.218228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Keep it Fair: Equivalences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.FL"],"primary_cat":"cs.LO","authors_text":"Germany), Stephan Mennicke (TU Braunschweig, Tobias Prehn (TU Berlin","submitted_at":"2017-11-30T03:45:30Z","abstract_excerpt":"For models of concurrent and distributed systems, it is important and also challenging to establish correctness in terms of safety and/or liveness properties. Theories of distributed systems consider equivalences fundamental, since they (1) preserve desirable correctness characteristics and (2) often allow for component substitution making compositional reasoning feasible. Modeling distributed systems often requires abstraction utilizing nondeterminism which induces unintended behaviors in terms of infinite executions with one nondeterministic choice being recurrently resolved, each time negle"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.11208","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.11208","created_at":"2026-05-18T00:29:12.218307+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.11208v1","created_at":"2026-05-18T00:29:12.218307+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.11208","created_at":"2026-05-18T00:29:12.218307+00:00"},{"alias_kind":"pith_short_12","alias_value":"JB4H6YOCGK46","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_16","alias_value":"JB4H6YOCGK46MAD2","created_at":"2026-05-18T12:31:21.493067+00:00"},{"alias_kind":"pith_short_8","alias_value":"JB4H6YOC","created_at":"2026-05-18T12:31:21.493067+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/JB4H6YOCGK46MAD2GAUV4W7LUY","json":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY.json","graph_json":"https://pith.science/api/pith-number/JB4H6YOCGK46MAD2GAUV4W7LUY/graph.json","events_json":"https://pith.science/api/pith-number/JB4H6YOCGK46MAD2GAUV4W7LUY/events.json","paper":"https://pith.science/paper/JB4H6YOC"},"agent_actions":{"view_html":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY","download_json":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY.json","view_paper":"https://pith.science/paper/JB4H6YOC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.11208&json=true","fetch_graph":"https://pith.science/api/pith-number/JB4H6YOCGK46MAD2GAUV4W7LUY/graph.json","fetch_events":"https://pith.science/api/pith-number/JB4H6YOCGK46MAD2GAUV4W7LUY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY/action/storage_attestation","attest_author":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY/action/author_attestation","sign_citation":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY/action/citation_signature","submit_replication":"https://pith.science/pith/JB4H6YOCGK46MAD2GAUV4W7LUY/action/replication_record"}},"created_at":"2026-05-18T00:29:12.218307+00:00","updated_at":"2026-05-18T00:29:12.218307+00:00"}