Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T06:07:09.871016Z
Paper Citation Record · LEDGER
A Sound and Complete Characterization of Fair Asynchronous Session Subtyping
As of 18 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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
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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+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-18T06:34:40.430872+00:00.
Pith citing papers
No inbound Pith citation observations are available.