{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CTE2ETJF67BYIFOZVTPAQH6F64","short_pith_number":"pith:CTE2ETJF","canonical_record":{"source":{"id":"1703.03256","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-09T13:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"351480b69a076b35546a56ccf8ac10c3a683fdd8cce15a0ccd0ab34e8f3d02e8","abstract_canon_sha256":"def2f3d81660722e571ae8c5278261f92474d469838f6a3e1fac7814cfd12d76"},"schema_version":"1.0"},"canonical_sha256":"14c9a24d25f7c38415d9acde081fc5f700c6ff235d3d0eb5866ab2ba2755a379","source":{"kind":"arxiv","id":"1703.03256","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.03256","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"1703.03256v2","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.03256","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"CTE2ETJF67BY","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CTE2ETJF67BYIFOZ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CTE2ETJF","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CTE2ETJF67BYIFOZVTPAQH6F64","target":"record","payload":{"canonical_record":{"source":{"id":"1703.03256","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-09T13:24:39Z","cross_cats_sorted":[],"title_canon_sha256":"351480b69a076b35546a56ccf8ac10c3a683fdd8cce15a0ccd0ab34e8f3d02e8","abstract_canon_sha256":"def2f3d81660722e571ae8c5278261f92474d469838f6a3e1fac7814cfd12d76"},"schema_version":"1.0"},"canonical_sha256":"14c9a24d25f7c38415d9acde081fc5f700c6ff235d3d0eb5866ab2ba2755a379","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:26:12.889931Z","signature_b64":"8m0S8Nu0r0IUKdkyA126JQaqGhZgFjTedjLS8B86wD/R4YeJaPQs965P06+HZ4j1hEFUpnEcjuDEuY1OfKtxAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"14c9a24d25f7c38415d9acde081fc5f700c6ff235d3d0eb5866ab2ba2755a379","last_reissued_at":"2026-05-18T00:26:12.889490Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:26:12.889490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.03256","source_version":2,"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:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cxcf4ElOgt50RkwnT+a0Ye8Nig4oEpMyNQy6Ap1+4J1mIe32ZOQtvEJitRFWP/BcUl6+F29dycW5zZ/fZ2QbDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T20:08:19.972390Z"},"content_sha256":"b59d03ad0c8891dfd2bab27d78ed1a8cf0095f83e10b0f84256b854dc8c75365","schema_version":"1.0","event_id":"sha256:b59d03ad0c8891dfd2bab27d78ed1a8cf0095f83e10b0f84256b854dc8c75365"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CTE2ETJF67BYIFOZVTPAQH6F64","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Distinguishing between Communicating Transactions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Maciej Gazda, Matthew Hennessy, Vasileios Koutavas","submitted_at":"2017-03-09T13:24:39Z","abstract_excerpt":"Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour of such systems. This comprises three nominal modal logics which share standard communication modalities but have distinct past and future modalities involving transactional commits. All three logics have the same distinguishing power over systems because their associated weak bisimulations coincide with contextual equivalence. Furthermore, they are equally"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.03256","kind":"arxiv","version":2},"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:26:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LF5rbEXgpIHQgOsUdgNMr0U9iVlP9pmssWAXqVIQrI17xUZE7xEkBPRIFHF2XAR7LtzKx0rUQSO4AW7l5VMxAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T20:08:19.973102Z"},"content_sha256":"a4c467cd756e8d0d34509c4d39c954f1cc9e4786302e300c21a0b41c8460f0d6","schema_version":"1.0","event_id":"sha256:a4c467cd756e8d0d34509c4d39c954f1cc9e4786302e300c21a0b41c8460f0d6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CTE2ETJF67BYIFOZVTPAQH6F64/bundle.json","state_url":"https://pith.science/pith/CTE2ETJF67BYIFOZVTPAQH6F64/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CTE2ETJF67BYIFOZVTPAQH6F64/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-06T20:08:19Z","links":{"resolver":"https://pith.science/pith/CTE2ETJF67BYIFOZVTPAQH6F64","bundle":"https://pith.science/pith/CTE2ETJF67BYIFOZVTPAQH6F64/bundle.json","state":"https://pith.science/pith/CTE2ETJF67BYIFOZVTPAQH6F64/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CTE2ETJF67BYIFOZVTPAQH6F64/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CTE2ETJF67BYIFOZVTPAQH6F64","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":"def2f3d81660722e571ae8c5278261f92474d469838f6a3e1fac7814cfd12d76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-09T13:24:39Z","title_canon_sha256":"351480b69a076b35546a56ccf8ac10c3a683fdd8cce15a0ccd0ab34e8f3d02e8"},"schema_version":"1.0","source":{"id":"1703.03256","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.03256","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"arxiv_version","alias_value":"1703.03256v2","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.03256","created_at":"2026-05-18T00:26:12Z"},{"alias_kind":"pith_short_12","alias_value":"CTE2ETJF67BY","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CTE2ETJF67BYIFOZ","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CTE2ETJF","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:a4c467cd756e8d0d34509c4d39c954f1cc9e4786302e300c21a0b41c8460f0d6","target":"graph","created_at":"2026-05-18T00:26:12Z","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":"Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour of such systems. This comprises three nominal modal logics which share standard communication modalities but have distinct past and future modalities involving transactional commits. All three logics have the same distinguishing power over systems because their associated weak bisimulations coincide with contextual equivalence. Furthermore, they are equally","authors_text":"Maciej Gazda, Matthew Hennessy, Vasileios Koutavas","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-09T13:24:39Z","title":"Distinguishing between Communicating Transactions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.03256","kind":"arxiv","version":2},"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:b59d03ad0c8891dfd2bab27d78ed1a8cf0095f83e10b0f84256b854dc8c75365","target":"record","created_at":"2026-05-18T00:26:12Z","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":"def2f3d81660722e571ae8c5278261f92474d469838f6a3e1fac7814cfd12d76","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-03-09T13:24:39Z","title_canon_sha256":"351480b69a076b35546a56ccf8ac10c3a683fdd8cce15a0ccd0ab34e8f3d02e8"},"schema_version":"1.0","source":{"id":"1703.03256","kind":"arxiv","version":2}},"canonical_sha256":"14c9a24d25f7c38415d9acde081fc5f700c6ff235d3d0eb5866ab2ba2755a379","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"14c9a24d25f7c38415d9acde081fc5f700c6ff235d3d0eb5866ab2ba2755a379","first_computed_at":"2026-05-18T00:26:12.889490Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:26:12.889490Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8m0S8Nu0r0IUKdkyA126JQaqGhZgFjTedjLS8B86wD/R4YeJaPQs965P06+HZ4j1hEFUpnEcjuDEuY1OfKtxAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:26:12.889931Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.03256","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b59d03ad0c8891dfd2bab27d78ed1a8cf0095f83e10b0f84256b854dc8c75365","sha256:a4c467cd756e8d0d34509c4d39c954f1cc9e4786302e300c21a0b41c8460f0d6"],"state_sha256":"e74a7998041e7fb5f7b85ce8af6569f0e7efb348379c3b87694662bea5d7e5a2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TIWP7xucXMeXcLhyYJp5EZ29AjjzToRyHHGfKO8g821TGHe28Y49IiMAuVTLz/NbnjWpp/hhfC59vCDzDUqCCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T20:08:19.976868Z","bundle_sha256":"690db00a13be79b813682ff6b7700c5925caacb59e0d46ba99fbb9d1c4987570"}}