{"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"}