{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4QPRELWHS5ROUBUAJAQDGQFKGN","short_pith_number":"pith:4QPRELWH","canonical_record":{"source":{"id":"2411.14583","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T20:47:10Z","cross_cats_sorted":[],"title_canon_sha256":"ffc42600ac1f57f624873aa9833fd7b6bb82828255c0a6f38fad7da0d647ab4d","abstract_canon_sha256":"0d33e2eff95e2e1d4cbdd431f0b8cfcf10c6bd950ef97b1828c6304d62091175"},"schema_version":"1.0"},"canonical_sha256":"e41f122ec79762ea068048203340aa335388775da3f86628f3b763231328fd12","source":{"kind":"arxiv","id":"2411.14583","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14583","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14583v1","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14583","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_12","alias_value":"4QPRELWHS5RO","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_16","alias_value":"4QPRELWHS5ROUBUA","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_8","alias_value":"4QPRELWH","created_at":"2026-07-05T09:38:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4QPRELWHS5ROUBUAJAQDGQFKGN","target":"record","payload":{"canonical_record":{"source":{"id":"2411.14583","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T20:47:10Z","cross_cats_sorted":[],"title_canon_sha256":"ffc42600ac1f57f624873aa9833fd7b6bb82828255c0a6f38fad7da0d647ab4d","abstract_canon_sha256":"0d33e2eff95e2e1d4cbdd431f0b8cfcf10c6bd950ef97b1828c6304d62091175"},"schema_version":"1.0"},"canonical_sha256":"e41f122ec79762ea068048203340aa335388775da3f86628f3b763231328fd12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:38:53.438388Z","signature_b64":"ftUDQTOWdxIFnPPuGdtzNRKwsXMP+/8ojfwXeucIoZCu14ZWV9Whg1tjL6ZYHfK0xB4NZPvMnily0yuMagyVDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e41f122ec79762ea068048203340aa335388775da3f86628f3b763231328fd12","last_reissued_at":"2026-07-05T09:38:53.437933Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:38:53.437933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.14583","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-07-05T09:38:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8eADvZJqSKz/ixPGeeVx9iAO9fF6wL1TtAtK33ETpwAaiEF5SdHuHuDspY9C3aKAQoszO+PCFYEDtdeOKRxSBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T22:07:04.198545Z"},"content_sha256":"dc9c96d39a4f809a0a96550e449fa94ee089bb2207744255ead4c101d96dbb70","schema_version":"1.0","event_id":"sha256:dc9c96d39a4f809a0a96550e449fa94ee089bb2207744255ead4c101d96dbb70"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4QPRELWHS5ROUBUAJAQDGQFKGN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Andrea Esposito (University of Urbino), Claudio A. Mezzina (University of Urbino), Marco Bernardo (University of Urbino)","submitted_at":"2024-11-21T20:47:10Z","abstract_excerpt":"Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via forward-reverse bisimilarity as well as its two components, i.e., forward bisimilarity and reverse bisimilarity. The congruence, equational, and logical properties of these equivalences have already been studied in the setting of sequential processes. In this paper we address concurrent processes and investigate compositionality and axiomatizations of forward bisimilarity, which is interleaving, and reverse and forwar"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14583","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.14583/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:38:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ToXWnV+TTxFlQrSsEAqZRtpQ4/yqyuMDo3b7WMT8+pYxaqW+o5kTn7MHXobtBN3l2KLmuILC6RZUaMSqTtJPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-12T22:07:04.199055Z"},"content_sha256":"5e7e89df17e9b08698093f1d3ac3e5feb6f6361ebff09c925fd8146853b41b8a","schema_version":"1.0","event_id":"sha256:5e7e89df17e9b08698093f1d3ac3e5feb6f6361ebff09c925fd8146853b41b8a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/bundle.json","state_url":"https://pith.science/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/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-08-12T22:07:04Z","links":{"resolver":"https://pith.science/pith/4QPRELWHS5ROUBUAJAQDGQFKGN","bundle":"https://pith.science/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/bundle.json","state":"https://pith.science/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4QPRELWHS5ROUBUAJAQDGQFKGN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4QPRELWHS5ROUBUAJAQDGQFKGN","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":"0d33e2eff95e2e1d4cbdd431f0b8cfcf10c6bd950ef97b1828c6304d62091175","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T20:47:10Z","title_canon_sha256":"ffc42600ac1f57f624873aa9833fd7b6bb82828255c0a6f38fad7da0d647ab4d"},"schema_version":"1.0","source":{"id":"2411.14583","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.14583","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"arxiv_version","alias_value":"2411.14583v1","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.14583","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_12","alias_value":"4QPRELWHS5RO","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_16","alias_value":"4QPRELWHS5ROUBUA","created_at":"2026-07-05T09:38:53Z"},{"alias_kind":"pith_short_8","alias_value":"4QPRELWH","created_at":"2026-07-05T09:38:53Z"}],"graph_snapshots":[{"event_id":"sha256:5e7e89df17e9b08698093f1d3ac3e5feb6f6361ebff09c925fd8146853b41b8a","target":"graph","created_at":"2026-07-05T09:38:53Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2411.14583/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Reversible systems exhibit both forward computations and backward computations, where the aim of the latter is to undo the effects of the former. Such systems can be compared via forward-reverse bisimilarity as well as its two components, i.e., forward bisimilarity and reverse bisimilarity. The congruence, equational, and logical properties of these equivalences have already been studied in the setting of sequential processes. In this paper we address concurrent processes and investigate compositionality and axiomatizations of forward bisimilarity, which is interleaving, and reverse and forwar","authors_text":"Andrea Esposito (University of Urbino), Claudio A. Mezzina (University of Urbino), Marco Bernardo (University of Urbino)","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T20:47:10Z","title":"Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.14583","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:dc9c96d39a4f809a0a96550e449fa94ee089bb2207744255ead4c101d96dbb70","target":"record","created_at":"2026-07-05T09:38:53Z","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":"0d33e2eff95e2e1d4cbdd431f0b8cfcf10c6bd950ef97b1828c6304d62091175","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2024-11-21T20:47:10Z","title_canon_sha256":"ffc42600ac1f57f624873aa9833fd7b6bb82828255c0a6f38fad7da0d647ab4d"},"schema_version":"1.0","source":{"id":"2411.14583","kind":"arxiv","version":1}},"canonical_sha256":"e41f122ec79762ea068048203340aa335388775da3f86628f3b763231328fd12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e41f122ec79762ea068048203340aa335388775da3f86628f3b763231328fd12","first_computed_at":"2026-07-05T09:38:53.437933Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:38:53.437933Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ftUDQTOWdxIFnPPuGdtzNRKwsXMP+/8ojfwXeucIoZCu14ZWV9Whg1tjL6ZYHfK0xB4NZPvMnily0yuMagyVDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:38:53.438388Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.14583","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dc9c96d39a4f809a0a96550e449fa94ee089bb2207744255ead4c101d96dbb70","sha256:5e7e89df17e9b08698093f1d3ac3e5feb6f6361ebff09c925fd8146853b41b8a"],"state_sha256":"8975e47d3427ec0b7e434d8f62e9cc044887b230cdc62063d5861c4ef2fdc627"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TMVs7X9/OZD7Ji6He6/aWh1KSZFy5SE9/rrVt9AuzyoHZfrRRzbudYVe1b14e3zOGg4J/I52QRx5cFQGBTbsAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-12T22:07:04.202920Z","bundle_sha256":"91c029d9b133b8a5215a39495ae2f68a3080432f02f913122ca249c884b08f30"}}