{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:FEG3NJSB6TVWGUIB5LXLUNQTD6","short_pith_number":"pith:FEG3NJSB","canonical_record":{"source":{"id":"1706.01762","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-06-06T13:43:08Z","cross_cats_sorted":["cs.DC","cs.SE"],"title_canon_sha256":"493bb9a78fff853052725082ee1db945e949397435a6e5584cb1c13f10b5d019","abstract_canon_sha256":"e9a9496dc8a68d2c11072c212d799403e1e8317736da1aeb96a4da8c2d907ea4"},"schema_version":"1.0"},"canonical_sha256":"290db6a641f4eb635101eaeeba36131f88d728f3b1b300429a6e7e08ed9b9914","source":{"kind":"arxiv","id":"1706.01762","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.01762","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"arxiv_version","alias_value":"1706.01762v1","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.01762","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"pith_short_12","alias_value":"FEG3NJSB6TVW","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FEG3NJSB6TVWGUIB","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FEG3NJSB","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:FEG3NJSB6TVWGUIB5LXLUNQTD6","target":"record","payload":{"canonical_record":{"source":{"id":"1706.01762","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-06-06T13:43:08Z","cross_cats_sorted":["cs.DC","cs.SE"],"title_canon_sha256":"493bb9a78fff853052725082ee1db945e949397435a6e5584cb1c13f10b5d019","abstract_canon_sha256":"e9a9496dc8a68d2c11072c212d799403e1e8317736da1aeb96a4da8c2d907ea4"},"schema_version":"1.0"},"canonical_sha256":"290db6a641f4eb635101eaeeba36131f88d728f3b1b300429a6e7e08ed9b9914","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:42:56.020085Z","signature_b64":"iMs9HWVhS4yFC8BOYTV3AM1Wkr6ptlwWrkMyCxUDtewVAh9xKgnSteZo8qeG1s9UmNFK8DAIU0eNLIhfZNFLCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"290db6a641f4eb635101eaeeba36131f88d728f3b1b300429a6e7e08ed9b9914","last_reissued_at":"2026-05-18T00:42:56.019399Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:42:56.019399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.01762","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-18T00:42:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tM/YCnJktplpDxwJk+G/hXkeZ1tSfPghRnrQ1HFXAO2vm7TruqEVkIInBzwYYDQJHvKGtM7HyJliO3Tw5/guCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:59:08.780255Z"},"content_sha256":"73b41cd9cce4d0e5e6a4aa2b4d2418b9e84af10aba823164f442476caae037d4","schema_version":"1.0","event_id":"sha256:73b41cd9cce4d0e5e6a4aa2b4d2418b9e84af10aba823164f442476caae037d4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:FEG3NJSB6TVWGUIB5LXLUNQTD6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specifying Transaction Control to Serialize Concurrent Program Executions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.SE"],"primary_cat":"cs.DB","authors_text":"Egon B\\\"orger, Klaus-Dieter Schewe","submitted_at":"2017-06-06T13:43:08Z","abstract_excerpt":"We define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove the correctness property that concurrent runs under the transaction controller are serialisable. We specify the transaction controller TaCtl and the operator TA in terms of Abstract State Machines. This makes TaCtl applicable to a wide range of programs and in particular provides the possibility to use it as a plug-in when specifying con"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.01762","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-18T00:42:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Q0+JeIahqHuy3LW3gj1slavtPO4LbS8XRckLPpVUrdQF+bG6C3sKI47/4vOLcv2H802C7tkApEzZZHcY0Q+vCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T03:59:08.780622Z"},"content_sha256":"14ebc4ec1409e000874fac2a33817c91695a30cb718133dd62be812fc02d603a","schema_version":"1.0","event_id":"sha256:14ebc4ec1409e000874fac2a33817c91695a30cb718133dd62be812fc02d603a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/bundle.json","state_url":"https://pith.science/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/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-02T03:59:08Z","links":{"resolver":"https://pith.science/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6","bundle":"https://pith.science/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/bundle.json","state":"https://pith.science/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FEG3NJSB6TVWGUIB5LXLUNQTD6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:FEG3NJSB6TVWGUIB5LXLUNQTD6","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":"e9a9496dc8a68d2c11072c212d799403e1e8317736da1aeb96a4da8c2d907ea4","cross_cats_sorted":["cs.DC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-06-06T13:43:08Z","title_canon_sha256":"493bb9a78fff853052725082ee1db945e949397435a6e5584cb1c13f10b5d019"},"schema_version":"1.0","source":{"id":"1706.01762","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.01762","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"arxiv_version","alias_value":"1706.01762v1","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.01762","created_at":"2026-05-18T00:42:56Z"},{"alias_kind":"pith_short_12","alias_value":"FEG3NJSB6TVW","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"FEG3NJSB6TVWGUIB","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"FEG3NJSB","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:14ebc4ec1409e000874fac2a33817c91695a30cb718133dd62be812fc02d603a","target":"graph","created_at":"2026-05-18T00:42:56Z","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 define a programming language independent transaction controller and an operator which when applied to concurrent programs with shared locations turns their behavior with respect to some abstract termination criterion into a transactional behavior. We prove the correctness property that concurrent runs under the transaction controller are serialisable. We specify the transaction controller TaCtl and the operator TA in terms of Abstract State Machines. This makes TaCtl applicable to a wide range of programs and in particular provides the possibility to use it as a plug-in when specifying con","authors_text":"Egon B\\\"orger, Klaus-Dieter Schewe","cross_cats":["cs.DC","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-06-06T13:43:08Z","title":"Specifying Transaction Control to Serialize Concurrent Program Executions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.01762","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:73b41cd9cce4d0e5e6a4aa2b4d2418b9e84af10aba823164f442476caae037d4","target":"record","created_at":"2026-05-18T00:42:56Z","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":"e9a9496dc8a68d2c11072c212d799403e1e8317736da1aeb96a4da8c2d907ea4","cross_cats_sorted":["cs.DC","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-06-06T13:43:08Z","title_canon_sha256":"493bb9a78fff853052725082ee1db945e949397435a6e5584cb1c13f10b5d019"},"schema_version":"1.0","source":{"id":"1706.01762","kind":"arxiv","version":1}},"canonical_sha256":"290db6a641f4eb635101eaeeba36131f88d728f3b1b300429a6e7e08ed9b9914","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"290db6a641f4eb635101eaeeba36131f88d728f3b1b300429a6e7e08ed9b9914","first_computed_at":"2026-05-18T00:42:56.019399Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:42:56.019399Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iMs9HWVhS4yFC8BOYTV3AM1Wkr6ptlwWrkMyCxUDtewVAh9xKgnSteZo8qeG1s9UmNFK8DAIU0eNLIhfZNFLCA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:42:56.020085Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.01762","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:73b41cd9cce4d0e5e6a4aa2b4d2418b9e84af10aba823164f442476caae037d4","sha256:14ebc4ec1409e000874fac2a33817c91695a30cb718133dd62be812fc02d603a"],"state_sha256":"2f00ede7a0c0b0967ad4499a760f33af638184808016fa69e577bb7a9d580f98"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RUFEroFrsuQOnII2GpA4tLSc/LrcWlddy8DNfzeONv+FApZYQTegV4J/id4Aeo7V//J2dCEPOPieyGHEJKqhAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T03:59:08.782738Z","bundle_sha256":"1ea06c15a5b22c00787cb577a75cd500ae728ccd955dc59ee88dad13b84fd031"}}