{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:YFIY4CWC4D5RVDY2KKNNUBIC3T","short_pith_number":"pith:YFIY4CWC","schema_version":"1.0","canonical_sha256":"c1518e0ac2e0fb1a8f1a529ada0502dce4634f4a513e7908577160749854532e","source":{"kind":"arxiv","id":"1407.0385","version":4},"attestation_state":"computed","paper":{"title":"Concurrent Kleene Algebra of Partial Strings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alex Horn, Jade Alglave","submitted_at":"2014-07-01T19:59:41Z","abstract_excerpt":"Concurrent Kleene Algebra (CKA) is a recently proposed algebraic structure by Hoare and collaborators that unifies the laws of concurrent programming. The unifying power of CKA rests largely on the so-called exchange law that describes how concurrent and sequential composition operators can be interchanged. Based on extensive theoretical work on true concurrency in the past, this paper extends Gischer's pomset model with least fixed point operators and formalizes the program refinement relation by \\'{E}sik's monotonic bijective morphisms to construct a partial order model of CKA. The existence"},"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":"1407.0385","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-01T19:59:41Z","cross_cats_sorted":[],"title_canon_sha256":"49e5a3f86b932eaccf9b7eca3313b50e5746e93e68ba81c4ee08d0cda902202b","abstract_canon_sha256":"ba00fc7732b89417f701179c62093e57333230bb20a537a6b2d16670f89600e0"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:55.450786Z","signature_b64":"FwbCkg2OweYTEKNAQPNMryj2NCf7n27wMiH4T6miObjaCSwXoX68UmJxIOi6F20Upna0oQHLi9OU68jnN3VABA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c1518e0ac2e0fb1a8f1a529ada0502dce4634f4a513e7908577160749854532e","last_reissued_at":"2026-05-18T02:39:55.450387Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:55.450387Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Concurrent Kleene Algebra of Partial Strings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alex Horn, Jade Alglave","submitted_at":"2014-07-01T19:59:41Z","abstract_excerpt":"Concurrent Kleene Algebra (CKA) is a recently proposed algebraic structure by Hoare and collaborators that unifies the laws of concurrent programming. The unifying power of CKA rests largely on the so-called exchange law that describes how concurrent and sequential composition operators can be interchanged. Based on extensive theoretical work on true concurrency in the past, this paper extends Gischer's pomset model with least fixed point operators and formalizes the program refinement relation by \\'{E}sik's monotonic bijective morphisms to construct a partial order model of CKA. The existence"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.0385","kind":"arxiv","version":4},"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":"1407.0385","created_at":"2026-05-18T02:39:55.450447+00:00"},{"alias_kind":"arxiv_version","alias_value":"1407.0385v4","created_at":"2026-05-18T02:39:55.450447+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.0385","created_at":"2026-05-18T02:39:55.450447+00:00"},{"alias_kind":"pith_short_12","alias_value":"YFIY4CWC4D5R","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_16","alias_value":"YFIY4CWC4D5RVDY2","created_at":"2026-05-18T12:28:57.508820+00:00"},{"alias_kind":"pith_short_8","alias_value":"YFIY4CWC","created_at":"2026-05-18T12:28:57.508820+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/YFIY4CWC4D5RVDY2KKNNUBIC3T","json":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T.json","graph_json":"https://pith.science/api/pith-number/YFIY4CWC4D5RVDY2KKNNUBIC3T/graph.json","events_json":"https://pith.science/api/pith-number/YFIY4CWC4D5RVDY2KKNNUBIC3T/events.json","paper":"https://pith.science/paper/YFIY4CWC"},"agent_actions":{"view_html":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T","download_json":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T.json","view_paper":"https://pith.science/paper/YFIY4CWC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1407.0385&json=true","fetch_graph":"https://pith.science/api/pith-number/YFIY4CWC4D5RVDY2KKNNUBIC3T/graph.json","fetch_events":"https://pith.science/api/pith-number/YFIY4CWC4D5RVDY2KKNNUBIC3T/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T/action/storage_attestation","attest_author":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T/action/author_attestation","sign_citation":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T/action/citation_signature","submit_replication":"https://pith.science/pith/YFIY4CWC4D5RVDY2KKNNUBIC3T/action/replication_record"}},"created_at":"2026-05-18T02:39:55.450447+00:00","updated_at":"2026-05-18T02:39:55.450447+00:00"}