{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:EMFIZ4ZBJPZ3L7CCGDF4TL3IUO","short_pith_number":"pith:EMFIZ4ZB","canonical_record":{"source":{"id":"1503.09097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-31T15:49:55Z","cross_cats_sorted":[],"title_canon_sha256":"10330f539d879c3fa40469ecd70ca1d83ff07a80a4409578ffd30ef516665bf0","abstract_canon_sha256":"cb703667a4c6b8004131b7f2bb268b2f0350fb650fadc986d4aef5c1340b0af5"},"schema_version":"1.0"},"canonical_sha256":"230a8cf3214bf3b5fc4230cbc9af68a38696dce5cab94981266c387db49b134b","source":{"kind":"arxiv","id":"1503.09097","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.09097","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1503.09097v1","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.09097","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"EMFIZ4ZBJPZ3","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EMFIZ4ZBJPZ3L7CC","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EMFIZ4ZB","created_at":"2026-05-18T12:29:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:EMFIZ4ZBJPZ3L7CCGDF4TL3IUO","target":"record","payload":{"canonical_record":{"source":{"id":"1503.09097","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-31T15:49:55Z","cross_cats_sorted":[],"title_canon_sha256":"10330f539d879c3fa40469ecd70ca1d83ff07a80a4409578ffd30ef516665bf0","abstract_canon_sha256":"cb703667a4c6b8004131b7f2bb268b2f0350fb650fadc986d4aef5c1340b0af5"},"schema_version":"1.0"},"canonical_sha256":"230a8cf3214bf3b5fc4230cbc9af68a38696dce5cab94981266c387db49b134b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:12:10.644584Z","signature_b64":"FGM3aYlhYk6x+rz0RMfrD+U9yOukxnlWLTn6zANvIsywjlXunKWLh449XbCi6iVal53lgJp9bNvZstclOsm0Cw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"230a8cf3214bf3b5fc4230cbc9af68a38696dce5cab94981266c387db49b134b","last_reissued_at":"2026-05-18T02:12:10.643735Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:12:10.643735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1503.09097","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GPHdIAX8E/D/nOH9sZ5CzFAalg81o/5ckczqxckE2jqd0XMpeBtZU7wfFfnxnGjAG7uY43VC+VeFZEv4nFjGBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T20:00:40.911088Z"},"content_sha256":"a61468d3ad4168f2eb2ed4b60f3a1077179b95db0c918181232e239ed404fbaa","schema_version":"1.0","event_id":"sha256:a61468d3ad4168f2eb2ed4b60f3a1077179b95db0c918181232e239ed404fbaa"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:EMFIZ4ZBJPZ3L7CCGDF4TL3IUO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Open Transactions on Shared Memory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andrea Toneguzzo, Marco Peressotti, Marino Miculan","submitted_at":"2015-03-31T15:49:55Z","abstract_excerpt":"Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implementations admit isolated transactions only, which are not adequate when we have to coordinate communicating processes. To this end, in this paper we present OCTM, an Haskell-like language with open transactions over shared transactional memory: processes can join transactions at runtime just by accessing to shared variables. Thus a transaction can co-operate with the environment through shared variables, but if it is rolled-back, also all its effects on the environment ar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.09097","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:12:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GbiBAvA+3TNFw7LpTG5fbnzx21x/Y+MeJURv0mUjfh6seLOEH3fpDbSLZi3eQALGJu+1PNpixD9F+BnBotJIBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T20:00:40.911446Z"},"content_sha256":"b95854e76041033caf094d891d7b7e7c3aa5589aedb4b457a2c6a4246e2b58a0","schema_version":"1.0","event_id":"sha256:b95854e76041033caf094d891d7b7e7c3aa5589aedb4b457a2c6a4246e2b58a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/bundle.json","state_url":"https://pith.science/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/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-25T20:00:40Z","links":{"resolver":"https://pith.science/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO","bundle":"https://pith.science/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/bundle.json","state":"https://pith.science/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EMFIZ4ZBJPZ3L7CCGDF4TL3IUO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:EMFIZ4ZBJPZ3L7CCGDF4TL3IUO","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":"cb703667a4c6b8004131b7f2bb268b2f0350fb650fadc986d4aef5c1340b0af5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-31T15:49:55Z","title_canon_sha256":"10330f539d879c3fa40469ecd70ca1d83ff07a80a4409578ffd30ef516665bf0"},"schema_version":"1.0","source":{"id":"1503.09097","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1503.09097","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"arxiv_version","alias_value":"1503.09097v1","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.09097","created_at":"2026-05-18T02:12:10Z"},{"alias_kind":"pith_short_12","alias_value":"EMFIZ4ZBJPZ3","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_16","alias_value":"EMFIZ4ZBJPZ3L7CC","created_at":"2026-05-18T12:29:19Z"},{"alias_kind":"pith_short_8","alias_value":"EMFIZ4ZB","created_at":"2026-05-18T12:29:19Z"}],"graph_snapshots":[{"event_id":"sha256:b95854e76041033caf094d891d7b7e7c3aa5589aedb4b457a2c6a4246e2b58a0","target":"graph","created_at":"2026-05-18T02:12:10Z","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":"Transactional memory has arisen as a good way for solving many of the issues of lock-based programming. However, most implementations admit isolated transactions only, which are not adequate when we have to coordinate communicating processes. To this end, in this paper we present OCTM, an Haskell-like language with open transactions over shared transactional memory: processes can join transactions at runtime just by accessing to shared variables. Thus a transaction can co-operate with the environment through shared variables, but if it is rolled-back, also all its effects on the environment ar","authors_text":"Andrea Toneguzzo, Marco Peressotti, Marino Miculan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-31T15:49:55Z","title":"Open Transactions on Shared Memory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.09097","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:a61468d3ad4168f2eb2ed4b60f3a1077179b95db0c918181232e239ed404fbaa","target":"record","created_at":"2026-05-18T02:12:10Z","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":"cb703667a4c6b8004131b7f2bb268b2f0350fb650fadc986d4aef5c1340b0af5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-03-31T15:49:55Z","title_canon_sha256":"10330f539d879c3fa40469ecd70ca1d83ff07a80a4409578ffd30ef516665bf0"},"schema_version":"1.0","source":{"id":"1503.09097","kind":"arxiv","version":1}},"canonical_sha256":"230a8cf3214bf3b5fc4230cbc9af68a38696dce5cab94981266c387db49b134b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"230a8cf3214bf3b5fc4230cbc9af68a38696dce5cab94981266c387db49b134b","first_computed_at":"2026-05-18T02:12:10.643735Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:12:10.643735Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FGM3aYlhYk6x+rz0RMfrD+U9yOukxnlWLTn6zANvIsywjlXunKWLh449XbCi6iVal53lgJp9bNvZstclOsm0Cw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:12:10.644584Z","signed_message":"canonical_sha256_bytes"},"source_id":"1503.09097","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a61468d3ad4168f2eb2ed4b60f3a1077179b95db0c918181232e239ed404fbaa","sha256:b95854e76041033caf094d891d7b7e7c3aa5589aedb4b457a2c6a4246e2b58a0"],"state_sha256":"e364ad2918525c11a4a6465c40a579c920289c1a613c2ae4ca98dd2a1d50c149"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JNknzTkLZsejaJkIMxXG1b5RopQEgP1GKqhZ+IPz15DyYPNRsTuoNEZLY612FhsNSFbbcr1mmYW9pKQ/2e2xAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T20:00:40.913400Z","bundle_sha256":"3caf8f2908d9e2288f9f07b814ca5cdd78dd87e755516c102fd9cbbb9c4a6e91"}}