{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LELZHZIQXHMK3IEOVE2W47TFDC","short_pith_number":"pith:LELZHZIQ","schema_version":"1.0","canonical_sha256":"591793e510b9d8ada08ea9356e7e6518960dfaacfcf30167430d75ca6f1a98dc","source":{"kind":"arxiv","id":"1704.03099","version":1},"attestation_state":"computed","paper":{"title":"Towards a Categorical Representation of Reversible Event Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Eva Graversen (Imperial College London), Iain Phillips (Imperial College London), Nobuko Yoshida (Imperial College London)","submitted_at":"2017-04-11T00:44:23Z","abstract_excerpt":"We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency.  There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures.  More recently, reversible forms of these types of event structures have been defined.  We formulate corresponding categories and functors between them.  We show that products and co-products exist in many cases.  In most work on reversible computing, including reversible process calculi, a"},"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":"1704.03099","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-11T00:44:23Z","cross_cats_sorted":[],"title_canon_sha256":"8638a15f576e5f9d98937869cb9e4d03bbc5d60c11773f61260f9f525b748810","abstract_canon_sha256":"328a32d9001e51eba3bbb8e5282ebe68a89aba921776333d28ce2ddd66df6725"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:33.573912Z","signature_b64":"DVusW5YeBeak0Oqiqi7O7Ppyk+/rRZPkiD2oYyp7M8f0/I+N3FPpJD2bz7T79EHfO33BAd1jSoXClwoRF9uyAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"591793e510b9d8ada08ea9356e7e6518960dfaacfcf30167430d75ca6f1a98dc","last_reissued_at":"2026-05-18T00:46:33.573185Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:33.573185Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards a Categorical Representation of Reversible Event Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Eva Graversen (Imperial College London), Iain Phillips (Imperial College London), Nobuko Yoshida (Imperial College London)","submitted_at":"2017-04-11T00:44:23Z","abstract_excerpt":"We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency.  There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures.  More recently, reversible forms of these types of event structures have been defined.  We formulate corresponding categories and functors between them.  We show that products and co-products exist in many cases.  In most work on reversible computing, including reversible process calculi, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.03099","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":"1704.03099","created_at":"2026-05-18T00:46:33.573295+00:00"},{"alias_kind":"arxiv_version","alias_value":"1704.03099v1","created_at":"2026-05-18T00:46:33.573295+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.03099","created_at":"2026-05-18T00:46:33.573295+00:00"},{"alias_kind":"pith_short_12","alias_value":"LELZHZIQXHMK","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LELZHZIQXHMK3IEO","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LELZHZIQ","created_at":"2026-05-18T12:31:28.150371+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/LELZHZIQXHMK3IEOVE2W47TFDC","json":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC.json","graph_json":"https://pith.science/api/pith-number/LELZHZIQXHMK3IEOVE2W47TFDC/graph.json","events_json":"https://pith.science/api/pith-number/LELZHZIQXHMK3IEOVE2W47TFDC/events.json","paper":"https://pith.science/paper/LELZHZIQ"},"agent_actions":{"view_html":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC","download_json":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC.json","view_paper":"https://pith.science/paper/LELZHZIQ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1704.03099&json=true","fetch_graph":"https://pith.science/api/pith-number/LELZHZIQXHMK3IEOVE2W47TFDC/graph.json","fetch_events":"https://pith.science/api/pith-number/LELZHZIQXHMK3IEOVE2W47TFDC/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC/action/storage_attestation","attest_author":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC/action/author_attestation","sign_citation":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC/action/citation_signature","submit_replication":"https://pith.science/pith/LELZHZIQXHMK3IEOVE2W47TFDC/action/replication_record"}},"created_at":"2026-05-18T00:46:33.573295+00:00","updated_at":"2026-05-18T00:46:33.573295+00:00"}