{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BSJCJJATYWNUS7TUBVNUUYYNDC","short_pith_number":"pith:BSJCJJAT","canonical_record":{"source":{"id":"1902.04789","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-02-13T08:53:40Z","cross_cats_sorted":[],"title_canon_sha256":"4aae2168fba51a2f8d7f8f38f3423143959d1bb674ff555ffee443faf847f6ec","abstract_canon_sha256":"615f8ed18240ed5f53476f447e19ea599420d97ec1978c851aea0c67c2ab7d1e"},"schema_version":"1.0"},"canonical_sha256":"0c9224a413c59b497e740d5b4a630d18953445aa72eea006d89ff56c9b11fb25","source":{"kind":"arxiv","id":"1902.04789","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.04789","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"arxiv_version","alias_value":"1902.04789v1","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04789","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"pith_short_12","alias_value":"BSJCJJATYWNU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BSJCJJATYWNUS7TU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BSJCJJAT","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BSJCJJATYWNUS7TUBVNUUYYNDC","target":"record","payload":{"canonical_record":{"source":{"id":"1902.04789","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-02-13T08:53:40Z","cross_cats_sorted":[],"title_canon_sha256":"4aae2168fba51a2f8d7f8f38f3423143959d1bb674ff555ffee443faf847f6ec","abstract_canon_sha256":"615f8ed18240ed5f53476f447e19ea599420d97ec1978c851aea0c67c2ab7d1e"},"schema_version":"1.0"},"canonical_sha256":"0c9224a413c59b497e740d5b4a630d18953445aa72eea006d89ff56c9b11fb25","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:05.937537Z","signature_b64":"pFRRXRXxDbbH0SQ8ORacF1vQio/DyOX7ho5aDDHHFyID4RkLibfec7tEcIyudaM/3NIndY6LyAHIydqHYJOnCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0c9224a413c59b497e740d5b4a630d18953445aa72eea006d89ff56c9b11fb25","last_reissued_at":"2026-05-17T23:54:05.936936Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:05.936936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.04789","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-17T23:54:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IjQf9Bf3BVJ668o/YHglr3+q77azEjBm0bjXi5t8650UKmr/civT660BevaceLO4CRyx6he8RQc6tryB6I6CBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T20:04:20.414605Z"},"content_sha256":"1777f1717e505dc055ceb48c42107daf4a7412bc892cf03e033b05aaaba48f8f","schema_version":"1.0","event_id":"sha256:1777f1717e505dc055ceb48c42107daf4a7412bc892cf03e033b05aaaba48f8f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BSJCJJATYWNUS7TUBVNUUYYNDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Concurrent Computing with Shared Replicated Memory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Andreas Prinz, Egon B\\\"orger, Klaus-Dieter Schewe","submitted_at":"2019-02-13T08:53:40Z","abstract_excerpt":"The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the theory in general assumes shared locations, it remains valid, if different agents can only interact via messages, i.e. sharing is restricted to mailboxes. There may even be a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests to the memory agents. This article is dedicated to an investigation of replicated data that is maintained "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04789","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-17T23:54:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"98CCogd57A5HgbPAXnCXWkyBZ+AQigp4QOU/fRX6RPWfLDsuKyu06G90ufF95em4amaMvqQbMmxXYhK4Vb2HBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-18T20:04:20.415277Z"},"content_sha256":"8fdce488326ca2dfaf98876825a636ec1c1d87d32bf230919791f706f1501dd4","schema_version":"1.0","event_id":"sha256:8fdce488326ca2dfaf98876825a636ec1c1d87d32bf230919791f706f1501dd4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/bundle.json","state_url":"https://pith.science/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/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-05-18T20:04:20Z","links":{"resolver":"https://pith.science/pith/BSJCJJATYWNUS7TUBVNUUYYNDC","bundle":"https://pith.science/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/bundle.json","state":"https://pith.science/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BSJCJJATYWNUS7TUBVNUUYYNDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BSJCJJATYWNUS7TUBVNUUYYNDC","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":"615f8ed18240ed5f53476f447e19ea599420d97ec1978c851aea0c67c2ab7d1e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-02-13T08:53:40Z","title_canon_sha256":"4aae2168fba51a2f8d7f8f38f3423143959d1bb674ff555ffee443faf847f6ec"},"schema_version":"1.0","source":{"id":"1902.04789","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.04789","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"arxiv_version","alias_value":"1902.04789v1","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.04789","created_at":"2026-05-17T23:54:05Z"},{"alias_kind":"pith_short_12","alias_value":"BSJCJJATYWNU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BSJCJJATYWNUS7TU","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BSJCJJAT","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:8fdce488326ca2dfaf98876825a636ec1c1d87d32bf230919791f706f1501dd4","target":"graph","created_at":"2026-05-17T23:54:05Z","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":"The behavioural theory of concurrent systems states that any concurrent system can be captured by a behaviourally equivalent concurrent Abstract State Machine (cASM). While the theory in general assumes shared locations, it remains valid, if different agents can only interact via messages, i.e. sharing is restricted to mailboxes. There may even be a strict separation between memory managing agents and other agents that can only access the shared memory by sending query and update requests to the memory agents. This article is dedicated to an investigation of replicated data that is maintained ","authors_text":"Andreas Prinz, Egon B\\\"orger, Klaus-Dieter Schewe","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-02-13T08:53:40Z","title":"Concurrent Computing with Shared Replicated Memory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.04789","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:1777f1717e505dc055ceb48c42107daf4a7412bc892cf03e033b05aaaba48f8f","target":"record","created_at":"2026-05-17T23:54:05Z","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":"615f8ed18240ed5f53476f447e19ea599420d97ec1978c851aea0c67c2ab7d1e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-02-13T08:53:40Z","title_canon_sha256":"4aae2168fba51a2f8d7f8f38f3423143959d1bb674ff555ffee443faf847f6ec"},"schema_version":"1.0","source":{"id":"1902.04789","kind":"arxiv","version":1}},"canonical_sha256":"0c9224a413c59b497e740d5b4a630d18953445aa72eea006d89ff56c9b11fb25","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0c9224a413c59b497e740d5b4a630d18953445aa72eea006d89ff56c9b11fb25","first_computed_at":"2026-05-17T23:54:05.936936Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:05.936936Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pFRRXRXxDbbH0SQ8ORacF1vQio/DyOX7ho5aDDHHFyID4RkLibfec7tEcIyudaM/3NIndY6LyAHIydqHYJOnCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:05.937537Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.04789","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1777f1717e505dc055ceb48c42107daf4a7412bc892cf03e033b05aaaba48f8f","sha256:8fdce488326ca2dfaf98876825a636ec1c1d87d32bf230919791f706f1501dd4"],"state_sha256":"860642ddc5fed68417ea6f413847a49a419746ed877229443d1972c23193afaa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YGYFz/wQlw/SiEfmnN1TtTS2n05sbk897IfXnC98NpVsk+iWETT0JkkboLIpEkFQUwci/RCyH7ljTwH1F0EjDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-18T20:04:20.417587Z","bundle_sha256":"814148d777295787773f3c0f78c5b4fb79a8c6e632a950c5f89a08289cf712bd"}}