{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:QNY3U2POJNZIJ5ZKD6B4NMGBLM","short_pith_number":"pith:QNY3U2PO","canonical_record":{"source":{"id":"1407.5819","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-22T11:18:47Z","cross_cats_sorted":[],"title_canon_sha256":"36f02cefa077d0feb9f2ce9d9339072ac1cd8784baa772fd68d0d736662774ed","abstract_canon_sha256":"4cda5c2f56e892bb3d112967aa4bce1b45fd57f1753fd1bd3a91aad12e9956cf"},"schema_version":"1.0"},"canonical_sha256":"8371ba69ee4b7284f72a1f83c6b0c15b33138ed0f1e78c836d5d8b7866cd201e","source":{"kind":"arxiv","id":"1407.5819","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5819","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5819v1","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5819","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"pith_short_12","alias_value":"QNY3U2POJNZI","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QNY3U2POJNZIJ5ZK","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QNY3U2PO","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:QNY3U2POJNZIJ5ZKD6B4NMGBLM","target":"record","payload":{"canonical_record":{"source":{"id":"1407.5819","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-22T11:18:47Z","cross_cats_sorted":[],"title_canon_sha256":"36f02cefa077d0feb9f2ce9d9339072ac1cd8784baa772fd68d0d736662774ed","abstract_canon_sha256":"4cda5c2f56e892bb3d112967aa4bce1b45fd57f1753fd1bd3a91aad12e9956cf"},"schema_version":"1.0"},"canonical_sha256":"8371ba69ee4b7284f72a1f83c6b0c15b33138ed0f1e78c836d5d8b7866cd201e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:06.568363Z","signature_b64":"0NX+ZnsOpRZIuEthC/bsqIuM8abrRGBI0GT1SB0wsXoPaC3VnHk80910IBhLPBvqSnatPrQJr+8hOkJbEj9SBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8371ba69ee4b7284f72a1f83c6b0c15b33138ed0f1e78c836d5d8b7866cd201e","last_reissued_at":"2026-05-18T02:47:06.567981Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:06.567981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.5819","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-05-18T02:47:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f5mTvmHyfR5dmvpixBU0s6DkU1IVuqY0FcrhK7NlcrijEuBD+5GeJ4dlTl3vDjjmSgcwPbEah8qqF2oWtgDcCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T02:48:23.691723Z"},"content_sha256":"b3fc90dff2862069b63ecadc4e6da1e4a164bc491e291588643adff7fdfd8825","schema_version":"1.0","event_id":"sha256:b3fc90dff2862069b63ecadc4e6da1e4a164bc491e291588643adff7fdfd8825"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:QNY3U2POJNZIJ5ZKD6B4NMGBLM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concurrent Dynamic Algebra","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Georg Struth, Hitoshi Furusawa","submitted_at":"2014-07-22T11:18:47Z","abstract_excerpt":"We reconstruct Peleg's concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an abstract axiomatisation of concurrent dynamic algebras from that basis. In this axiomatisation, sequential composition is not associative. It interacts with concurrent composition through a weak distributivity law. The modal operators of concurrent dynamic algebra are obtained from abstract axioms for domain and antidomain operators; the Kleene star is modelled as a least fixpoint. Algebraic variants of Peleg's axioms are sh"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5819","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"},"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-05-18T02:47:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gZtVaYj04TNI6wqF2uqdgPLpfYUXApyH9nnoGH76+rQVzoKvKWBG2lP8Yrf7Qg/fQDRSl9vIeBCOXEBCJ50fCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T02:48:23.692052Z"},"content_sha256":"7e5607e815b688968f4b20e650edee6c34a7e8a52ff793bf7bf95c9e2ea7127d","schema_version":"1.0","event_id":"sha256:7e5607e815b688968f4b20e650edee6c34a7e8a52ff793bf7bf95c9e2ea7127d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/bundle.json","state_url":"https://pith.science/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/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-06-25T02:48:23Z","links":{"resolver":"https://pith.science/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM","bundle":"https://pith.science/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/bundle.json","state":"https://pith.science/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QNY3U2POJNZIJ5ZKD6B4NMGBLM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QNY3U2POJNZIJ5ZKD6B4NMGBLM","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":"4cda5c2f56e892bb3d112967aa4bce1b45fd57f1753fd1bd3a91aad12e9956cf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-22T11:18:47Z","title_canon_sha256":"36f02cefa077d0feb9f2ce9d9339072ac1cd8784baa772fd68d0d736662774ed"},"schema_version":"1.0","source":{"id":"1407.5819","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.5819","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"arxiv_version","alias_value":"1407.5819v1","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.5819","created_at":"2026-05-18T02:47:06Z"},{"alias_kind":"pith_short_12","alias_value":"QNY3U2POJNZI","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QNY3U2POJNZIJ5ZK","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QNY3U2PO","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:7e5607e815b688968f4b20e650edee6c34a7e8a52ff793bf7bf95c9e2ea7127d","target":"graph","created_at":"2026-05-18T02:47:06Z","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"},"paper":{"abstract_excerpt":"We reconstruct Peleg's concurrent dynamic logic in the context of modal Kleene algebras. We explore the algebraic structure of its multirelational semantics and develop an abstract axiomatisation of concurrent dynamic algebras from that basis. In this axiomatisation, sequential composition is not associative. It interacts with concurrent composition through a weak distributivity law. The modal operators of concurrent dynamic algebra are obtained from abstract axioms for domain and antidomain operators; the Kleene star is modelled as a least fixpoint. Algebraic variants of Peleg's axioms are sh","authors_text":"Georg Struth, Hitoshi Furusawa","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-22T11:18:47Z","title":"Concurrent Dynamic Algebra"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.5819","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:b3fc90dff2862069b63ecadc4e6da1e4a164bc491e291588643adff7fdfd8825","target":"record","created_at":"2026-05-18T02:47:06Z","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":"4cda5c2f56e892bb3d112967aa4bce1b45fd57f1753fd1bd3a91aad12e9956cf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-07-22T11:18:47Z","title_canon_sha256":"36f02cefa077d0feb9f2ce9d9339072ac1cd8784baa772fd68d0d736662774ed"},"schema_version":"1.0","source":{"id":"1407.5819","kind":"arxiv","version":1}},"canonical_sha256":"8371ba69ee4b7284f72a1f83c6b0c15b33138ed0f1e78c836d5d8b7866cd201e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8371ba69ee4b7284f72a1f83c6b0c15b33138ed0f1e78c836d5d8b7866cd201e","first_computed_at":"2026-05-18T02:47:06.567981Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:06.567981Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0NX+ZnsOpRZIuEthC/bsqIuM8abrRGBI0GT1SB0wsXoPaC3VnHk80910IBhLPBvqSnatPrQJr+8hOkJbEj9SBg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:06.568363Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.5819","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b3fc90dff2862069b63ecadc4e6da1e4a164bc491e291588643adff7fdfd8825","sha256:7e5607e815b688968f4b20e650edee6c34a7e8a52ff793bf7bf95c9e2ea7127d"],"state_sha256":"ff33326cad5f75292767aa086103371bedf0b087a69994c33f8e112b026984be"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Zrg45uEkgYfHQluqd7yWOp8urPSdDgmAykpzTr/CtYTkXi6DFGOs3iHCqVwMvHonX2ZMUQVhxnyq1Ra1rx27AQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T02:48:23.693929Z","bundle_sha256":"986289dbb910ba6697d78d8f3cd691ceef982e507b7624d52d5f1ef78a5719af"}}