Paper Citation Record · LEDGER

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping

As of 8 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2506.06078.

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

pith.paper-citation-record.v1
2506.06078 v1

Coverage vector

measured 14 of 14 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T06:07:09.871016Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

14 of 14 outbound references displayed

verified exact0
verified fuzzy8
unresolved4
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c88957f3-6b00-4529-aef6-aa125b160c0b · outbound

This paper cites IfS1 !a − →S′ 1 then S1 starts with outputs.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping IfS1 !a − →S′ 1 then S1 starts with outputs

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:12.220371Z

Source-reported events for the cited work

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

Observation a6dd670c-a4c9-4a50-b3c5-1e28423b9bd9 · outbound

This paper cites Now considerR′ such thatR′ ⋊ ⋉T′.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Now considerR′ such thatR′ ⋊ ⋉T′

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:10.425053Z

Source-reported events for the cited work

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

Observation 8f780945-354d-49db-8af1-543940350705 · outbound

This paper cites S1) after the initial output !a.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping S1) after the initial output !a

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:12.001615Z

Source-reported events for the cited work

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

Observation 201986b9-835c-4a65-8b35-4af147791bff · outbound

This paper cites an unresolved cited work.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:11.846723Z

Source-reported events for the cited work

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

Observation f5f464bf-831d-40ba-a7a8-6703f238169d · outbound

This paper cites S1) after the output! a.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping S1) after the output! a

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:11.656081Z

Source-reported events for the cited work

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

Observation 89b3f783-1ec7-4366-88e4-6b312a72e48f · outbound

This paper cites an unresolved cited work.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:11.494648Z

Source-reported events for the cited work

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

Observation 5f78cef9-a4fe-4373-80b1-026393b76f59 · outbound

This paper cites Consider the transition sequence [S,ϵ ]|[T,ϵ ]→∗ [S′,ωS′]|[T′,ωT ′]and two types S1 and T1 s.t.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Consider the transition sequence [S,ϵ ]|[T,ϵ ]→∗ [S′,ωS′]|[T′,ωT ′]and two types S1 and T1 s.t

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:11.394680Z

Source-reported events for the cited work

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

Observation af852e11-f668-43a1-a1b7-410c5fe2f224 · outbound

This paper cites an unresolved cited work.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:11.262242Z

Source-reported events for the cited work

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

Observation cec68e71-16b9-4034-9433-9146079f6557 · outbound

This paper cites S1) after the output!a.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping S1) after the output!a

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:11.157543Z

Source-reported events for the cited work

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

Observation 88adf903-a6fb-4512-a8b7-0c593a23fd0f · outbound

This paper cites an unresolved cited work.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-07T06:07:10.962702Z

Source-reported events for the cited work

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

Observation 3e7801b5-e056-42b1-b036-6914dde265ec · outbound

This paper cites Assume this does not hold.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Assume this does not hold

Reference 11

Resolution: malformed identifier; raw_fallback, observed 2026-08-07T06:07:10.765466Z

Source-reported events for the cited work

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

Observation 03748bcb-46a7-4c14-9588-e29b9853f883 · outbound

This paper cites R⋊ ⋉Timplies R = end.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping R⋊ ⋉Timplies R = end

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:10.585257Z

Source-reported events for the cited work

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

Observation ce67a20e-5d90-4369-b8f9-95c55f3b29cb · outbound

This paper cites discriminator.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping discriminator

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T06:07:10.259307Z

Source-reported events for the cited work

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

Observation 68d6d63f-90f7-41ed-a406-f5338dbf7b18 · outbound

This paper cites Fair Termination of Asynchronous Binary Sessions.

A Sound and Complete Characterization of Fair Asynchronous Session Subtyping Fair Termination of Asynchronous Binary Sessions

Reference 2025

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T06:07:10.061729Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.