Paper Citation Record · LEDGER

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics

As of 13 August 2026, this Paper Citation Record lists 30 of 30 outbound references and 0 inbound Pith citation observations for arXiv:2411.14584.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2411.14584 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T15:14:00.453689Z

measured 30 of 30 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

30 of 30 outbound references displayed

verified exact20
verified fuzzy0
unresolved8
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1d03a28a-2242-42c4-aa58-3bbabe1e24f2 · outbound

This paper cites Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Andersen, Nicklas Andersen, Søren Enevoldsen, Mathias M

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T15:14:01.189400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 2d115f79-9e37-4511-8c4f-3504509825c7 · outbound

This paper cites Barwell, Francisco Ferreira & Nobuko Yoshida (2022): CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Barwell, Francisco Ferreira & Nobuko Yoshida (2022): CONCUR test-of-time award for the period 1994–97 interview with Uwe Nestmann and Benjamin C

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.333798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7c6e960-1ab3-4129-be7d-7f6d5c650caf · outbound

This paper cites Bell (2013): Certifiably sound parallelizing transformations.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Bell (2013): Certifiably sound parallelizing transformations

Reference 3

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.744007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5e258334-21ae-4fb9-860f-a0149cef6fa9 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.732366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation c622e514-37cb-4008-93e8-bac609d2cc8e · outbound

This paper cites In Constantin Enea & Akash Lal, editors: Computer Aided Verification, Springer Nature Switzerland, Cham, pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics In Constantin Enea & Akash Lal, editors: Computer Aided Verification, Springer Nature Switzerland, Cham, pp

Reference 5

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.721067Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 548fc174-a133-42b8-a600-a0dc6c2d3524 · outbound

This paper cites Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps

Reference 6

Resolution: verified exact; local_arxiv, observed 2026-08-12T15:14:00.707068Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 112216db-6d93-471c-90e6-0087ca188f71 · outbound

This paper cites Jansen & Uwe Nestmann (2022): Deciding All Behavioral Equivalences at Once: A Game for Linear-Time–Branching-Time Spectroscopy.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Jansen & Uwe Nestmann (2022): Deciding All Behavioral Equivalences at Once: A Game for Linear-Time–Branching-Time Spectroscopy

Reference 7

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.691348Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0eb7fa33-6fa4-48bc-9eeb-b967bb0d4fb2 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.679711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a625c446-86f3-4313-9862-eb44c0e7e5c5 · outbound

This paper cites Acta Informatica 57(3–5), pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Acta Informatica 57(3–5), pp

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.668437Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 413da2ea-abc0-4f97-9b1a-9d1a145d3d7e · outbound

This paper cites In Olivier Bournez, Enrico Formenti & Igor Potapov, editors: Reachability Problems, RP 2023, Springer Nature Switzerland, Cham, pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics In Olivier Bournez, Enrico Formenti & Igor Potapov, editors: Reachability Problems, RP 2023, Springer Nature Switzerland, Cham, pp

Reference 10

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.656502Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation cab1ee13-f62c-4c65-b39d-7695c85abf4a · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.645342Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3f8b03f9-f535-4440-8944-89ed6f91b912 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.379164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ba97af9-3797-4764-b996-8eead060d30f · outbound

This paper cites Larsen & Ji ˇr´ı Srba (2011): Energy Games in Multiweighted Automata.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Larsen & Ji ˇr´ı Srba (2011): Energy Games in Multiweighted Automata

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.633964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 00442336-863a-49c3-afb9-756ee7ca3ed2 · outbound

This paper cites Theoreti- cal Computer Science 538, pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Theoreti- cal Computer Science 538, pp

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.620683Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f9be2209-d2c1-4bd3-94b6-2852d2d7210d · outbound

This paper cites Information and Computation 268, p.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Information and Computation 268, p

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.392300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd0c462-a113-4852-9235-8d971811729a · outbound

This paper cites In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , IEEE, New York, NY , USA, pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , IEEE, New York, NY , USA, pp

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.396362Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 839b8c40-2caa-4e33-96ce-9c0837650336 · outbound

This paper cites Logical Methods in Com- puter Science 9(2:11), pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Logical Methods in Com- puter Science 9(2:11), pp

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.608493Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bad81466-3298-4149-9959-ef6d5c98e986 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.595445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 73ad9ed8-f62c-4470-90a5-9cc7e60463c3 · outbound

This paper cites Acta Informatica 57(3–5), pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Acta Informatica 57(3–5), pp

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.583898Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6713f95c-2998-4a65-8c40-9cfdf35c0c6a · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.571864Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e74c1cb7-3896-474d-ac1c-46d1c5afb350 · outbound

This paper cites arXiv:2210.07380.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics arXiv:2210.07380

Reference 21

Resolution: verified exact; raw_fallback, observed 2026-08-12T15:14:00.869470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 815d3648-b0d1-4772-a919-bbee5a74ceb7 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.420811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9250ba1-b978-4504-b8c6-43ef72395a0f · outbound

This paper cites In Eike Best, editor: CONCUR’93, LNCS 715, Springer, Berlin, pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics In Eike Best, editor: CONCUR’93, LNCS 715, Springer, Berlin, pp

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.425797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a8bda77-a4dc-4533-bd2c-c1dc1d57a8b1 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.429843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e12811e3-f1a4-49d1-a65f-4077dd525010 · outbound

This paper cites Logical Meth- ods in Computer Science 17(2), pp.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Logical Meth- ods in Computer Science 17(2), pp

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T15:14:00.434389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e12ab13a-07be-424a-a113-cdea65e79a82 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.525215Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 56ed908d-4afb-4387-8008-798348a51487 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 27

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.512419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d7399f29-7059-4da2-9267-f4d8bbc07995 · outbound

This paper cites Shukla, Harry B.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Shukla, Harry B

Reference 28

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T15:14:01.177524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 36382622-33d8-45db-8777-9254ebcacafc · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.499153Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 271ef31b-76ac-4b54-a33c-ac993f049763 · outbound

This paper cites an unresolved cited work.

One Energy Game for the Spectrum between Branching Bisimilarity and Weak Trace Semantics Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T15:14:00.486033Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Pith citing papers

No inbound Pith citation observations are available.