Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:17:06.109418Z
Paper Citation Record · LEDGER
As of 12 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2411.14583.
A citation records a reference. It does not transfer a finding from one paper to another.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T15:17:06.109418Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
52 of 52 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation a147b2d5-d8c4-42d5-9c99-96fcd5ae9066 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert (2022): Concurrencies in Reversible Concurrent Calculi
Reference 1
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2bcb2df7-3f2d-4805-aa0a-4494b65ee5ea · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert & I
Reference 2
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 55d0c4d7-f0fb-4776-95cf-977b6e9de36a · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Aubert & I
Reference 3
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5b916b05-6b03-4dc0-8886-1218cb274cb0 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Baldan & S
Reference 4
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 539ddc72-1eef-47ab-b496-7e905a55b0df · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bednarczyk (1991): Hereditary History Preserving Bisimulations or What Is the Power of the Future Perfect in Program Logics
Reference 5
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b46add73-22af-49d7-ba19-72cb5d583eae · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bennett (1973): Logical Reversibility of Computation
Reference 6
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 172c4b11-d645-49c5-80a4-be06af0b528f · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bergstra, J.W
Reference 7
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 73244b8c-557d-435c-9817-2c594286e4d3 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & A
Reference 8
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 58f74e2e-9796-432e-8e4f-fa1a55267dc9 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & A
Reference 9
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation c83f8614-bb11-46c6-a8b6-f4d90e927e9e · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A
Reference 10
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 41394db7-a3e4-47e5-a16b-f14bc779c90f · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A
Reference 11
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5f8e141f-d56c-43e8-9207-fc1d780ec314 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & C.A
Reference 12
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation da444725-7a63-4c07-aa99-4aa93be1b458 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bernardo & S
Reference 13
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9da79b18-aa6d-481b-8afa-8a2276a608dc · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Bocchi, I
Reference 14
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e4fb974c-3bd5-4eb8-8c54-b00eba491b97 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I
Reference 15
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 08042849-ef48-436f-ac14-d05b493155b8 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I
Reference 16
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 88874f6b-b6a8-4095-be6a-73bb5e21d810 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol & I
Reference 17
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 72e0e57a-f56d-43b0-b7e6-1d4d9344ac09 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Boudol, I
Reference 18
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b6b263a7-a887-41dc-9445-c2c67b35e68e · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Brookes, C.A.R
Reference 19
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2575598a-4b01-4ede-88dd-b2df845b13a7 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Castellani (1995): Observing Distribution in Processes: Static and Dynamic Localities
Reference 20
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation be93b9de-312d-4e9f-aecd-5e717d8fb51f · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Cristescu, J
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a3e3f98f-525a-4807-a810-4370e10772c6 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Danos & J
Reference 22
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ffb76a60-9667-4d18-af3e-368ca6cec8d6 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Darondeau & P
Reference 24
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 14a21a3f-0634-4eb3-834a-c0a29129c483 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Darondeau & P
Reference 25
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 99d9fb9e-0a84-4f5b-bdec-9d7b87fee996 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings De Nicola, U
Reference 26
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 52a316b4-c255-4e1f-8cef-bda8f9369ac5 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Degano & C
Reference 27
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6edef6a1-8feb-49b3-9ca2-bd94da8d6ed3 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Fecher (2004): A Completed Hierarchy of True Concurrent Equivalences
Reference 28
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation b2a3b597-a792-454d-ac30-d67b78cb8c53 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Fr ¨oschle & S
Reference 29
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d1fc3cfe-ef30-47e9-af59-844483398525 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Giachino, I
Reference 30
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7ccc3471-3846-4b04-896d-233c806205bc · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings van Glabbeek & U
Reference 31
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation eed7fcdd-b4de-4145-8ca6-1ab2b50664be · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Hennessy & R
Reference 32
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 78856c35-c222-4c44-bce1-cb4dbd37b1d4 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Krivine (2012): A Verification Technique for Reversible Process Algebra
Reference 33
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f2e8f53d-95e6-430a-bcda-ace814e34f79 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Landauer (1961): Irreversibility and Heat Generation in the Computing Process
Reference 34
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec8afff8-ddf3-4efb-a819-00ddb1abf212 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, M
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b179395f-2572-4307-8ec9-179eab800a1b · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, D
Reference 36
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43869fde-e1a1-4e4e-a35e-70af82f31651 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Lanese, N
Reference 38
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation dcb18976-7e6d-48d7-ae33-01ecbac575ad · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Laursen, L.-P
Reference 40
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 861e8da2-5bef-4b7d-be38-f7ca4d203939 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Milner (1989): Communication and Concurrency
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7aba180-be58-4ade-94ff-f960556446a4 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Olderog & C.A.R
Reference 42
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 3ac50e44-8f6f-414e-8edd-bac9bc5bfe7b · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Park (1981): Concurrency and Automata on Infinite Sequences
Reference 43
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f85293fc-665e-4cf3-bca9-d979f61152d8 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Perumalla & A.J
Reference 44
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1d825279-8291-4f9c-893c-a9fea831cd15 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I
Reference 45
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 77bde64d-53ba-40f3-966e-7dbff5475613 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I
Reference 46
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1bbbb764-fd96-419d-bf3e-3178b4cdb6b2 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I
Reference 47
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1db0096c-cab2-44e4-94b0-0386d23f67cc · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips & I
Reference 48
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 609f2f6a-2a90-44b2-8b70-331951ee9f73 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Phillips, I
Reference 49
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 23991eba-0746-45bf-91f8-5d0936ff2060 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Pinna (2017): Reversing Steps in Membrane Systems Computations
Reference 50
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 14a1cb18-72b5-465b-8c54-99f4d5a7deb0 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Rabinovich & B.A
Reference 51
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f06c39fd-1390-4dbc-9095-1dcf3e6c6c9d · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Schordan, T
Reference 52
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8f65843c-4178-456d-ac29-0316c85bcfcc · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Siljak, K
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3c81294f-e4cc-4791-9925-906b4693ba6a · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings Vassor & J.-B
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3e0666c9-aade-47b3-9b9f-58575c9fb8f7 · outbound
Expansion Laws for Forward-Reverse, Forward, and Reverse Bisimilarities via Proved Encodings de Vries, V
Reference 55
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
No inbound Pith citation observations are available.