Paper Citation Record · LEDGER

A Language-Agnostic Logical Relation for Message-Passing Protocols

As of 7 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2506.10026.

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

pith.paper-citation-record.v1
2506.10026 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:24:14.843108Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+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

40 of 40 outbound references displayed

verified exact7
verified fuzzy12
unresolved21
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cc70e99b-2738-4445-bd4a-745e28a60d16 · outbound

This paper cites Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T.

A Language-Agnostic Logical Relation for Message-Passing Protocols Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:08.921825Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e73c634d-b300-456a-b852-3ba4006514c1 · outbound

This paper cites Logical Relations for Session-Typed Concurrency.

A Language-Agnostic Logical Relation for Message-Passing Protocols Logical Relations for Session-Typed Concurrency

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-07T05:24:17.023589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 971c4d10-894b-4a07-9ba0-bec9415ce058 · outbound

This paper cites Biorthogonality, step-indexing and compiler correctness.

A Language-Agnostic Logical Relation for Message-Passing Protocols Biorthogonality, step-indexing and compiler correctness

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:09.177291Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e7af7c2-f346-4156-804f-ae1f0519f3aa · outbound

This paper cites Session types as intuitionistic linear propositions.

A Language-Agnostic Logical Relation for Message-Passing Protocols Session types as intuitionistic linear propositions

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:09.480002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bdce444-602e-413f-ac49-be66ed0ab270 · outbound

This paper cites A certified type-preserving compiler from lambda calculus to assembly language.

A Language-Agnostic Logical Relation for Message-Passing Protocols A certified type-preserving compiler from lambda calculus to assembly language

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:09.608514Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7d64e5e7-8e42-48a4-9496-2d5dad566697 · outbound

This paper cites Constable, Stuart F.

A Language-Agnostic Logical Relation for Message-Passing Protocols Constable, Stuart F

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:21.640249Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 93a43880-da82-449d-94be-07586918a492 · outbound

This paper cites Session logical relations for noninterference.

A Language-Agnostic Logical Relation for Message-Passing Protocols Session logical relations for noninterference

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:09.882200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ff0a2f2-2868-4728-aa9e-d50695ef7fa3 · outbound

This paper cites Regrading policies for flexible information flow control in session-typed concurrency.

A Language-Agnostic Logical Relation for Message-Passing Protocols Regrading policies for flexible information flow control in session-typed concurrency

Reference 9

Resolution: verified exact; doi, observed 2026-08-07T05:24:16.680184Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 434e0880-f5d5-4cb4-a297-d2b041ef1ed8 · outbound

This paper cites Semi-axiomatic sequent calculus.

A Language-Agnostic Logical Relation for Message-Passing Protocols Semi-axiomatic sequent calculus

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:10.179510Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3245b781-7cd6-47c1-a03e-9d09606c7235 · outbound

This paper cites Gay and Ant \' o nio Ravara.

A Language-Agnostic Logical Relation for Message-Passing Protocols Gay and Ant \' o nio Ravara

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:21.385511Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5005238c-635e-4951-a2a5-2817a2114361 · outbound

This paper cites Interpr\' e tation fonctionelle et \' e limination des coupures de l'arithm\' e tique d'ordre sup\' e rieur.

A Language-Agnostic Logical Relation for Message-Passing Protocols Interpr\' e tation fonctionelle et \' e limination des coupures de l'arithm\' e tique d'ordre sup\' e rieur

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:21.082789Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2b258eec-0443-46f0-b26d-557f5c5d0eec · outbound

This paper cites A semantic logical relation for termination of intuitionistic linear logic session types.

A Language-Agnostic Logical Relation for Message-Passing Protocols A semantic logical relation for termination of intuitionistic linear logic session types

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:20.818528Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c5507cea-4473-43c2-bcd0-7047c32075b0 · outbound

This paper cites Types for dyadic interaction.

A Language-Agnostic Logical Relation for Message-Passing Protocols Types for dyadic interaction

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:10.777775Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fc0dc3f-c07b-4bfa-b9cc-1cce637a47da · outbound

This paper cites Language primitives and type discipline for structured communication-based programming.

A Language-Agnostic Logical Relation for Message-Passing Protocols Language primitives and type discipline for structured communication-based programming

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:10.908547Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fb4bcff-0a05-46a9-8172-fbf276436d79 · outbound

This paper cites Multiparty asynchronous session types.

A Language-Agnostic Logical Relation for Message-Passing Protocols Multiparty asynchronous session types

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:11.037389Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc380a2f-fa98-4444-85f9-e0cbd5746dab · outbound

This paper cites Better late than never: A fully-abstract semantics for classical processes.

A Language-Agnostic Logical Relation for Message-Passing Protocols Better late than never: A fully-abstract semantics for classical processes

Reference 17

Resolution: verified exact; doi, observed 2026-08-07T05:24:16.381730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3b3ff7db-d393-4366-b9f3-30783d3f728a · outbound

This paper cites Efficient, extensional, and generic finite maps in coq-std++.

A Language-Agnostic Logical Relation for Message-Passing Protocols Efficient, extensional, and generic finite maps in coq-std++

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:20.504336Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9b99e67c-178d-4ea8-bdbc-35297d2dad1e · outbound

This paper cites Garrett Morris.

A Language-Agnostic Logical Relation for Message-Passing Protocols Garrett Morris

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T05:24:16.076326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3b8716c6-1963-4232-b43d-06f47baf3548 · outbound

This paper cites Constructive mathematics and computer programming.

A Language-Agnostic Logical Relation for Message-Passing Protocols Constructive mathematics and computer programming

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:11.625003Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f27a0e44-f6ab-4653-81cc-396254b7b3ed · outbound

This paper cites Intuitionistic Type Theory , volume 1 of Studies in Proof Theory.

A Language-Agnostic Logical Relation for Message-Passing Protocols Intuitionistic Type Theory , volume 1 of Studies in Proof Theory

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:20.154446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d1fe55ef-ca1b-4bce-9d3e-d8ec45743e52 · outbound

This paper cites A Calculus of Communicating Systems , volume 92 of Lecture Notes in Computer Science.

A Language-Agnostic Logical Relation for Message-Passing Protocols A Calculus of Communicating Systems , volume 92 of Lecture Notes in Computer Science

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:11.873915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de1ef4fb-683e-48ba-8aa6-03aae695068b · outbound

This paper cites Communicating and Mobile Systems: the -calculus.

A Language-Agnostic Logical Relation for Message-Passing Protocols Communicating and Mobile Systems: the -calculus

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:19.928079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f96bf04c-d87a-4409-84f0-820e15be3fab · outbound

This paper cites Typed closure conversion.

A Language-Agnostic Logical Relation for Message-Passing Protocols Typed closure conversion

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:12.194941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 143ff08b-1521-4dbb-9b20-d7a3f5ad889d · outbound

This paper cites Semantic soundness for language interoperability.

A Language-Agnostic Logical Relation for Message-Passing Protocols Semantic soundness for language interoperability

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:12.369449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b323315-cb94-4ecc-b4a3-bfd2d943310c · outbound

This paper cites P \' e rez, Lu \' s Caires, Frank Pfenning, and Bernardo Toninho.

A Language-Agnostic Logical Relation for Message-Passing Protocols P \' e rez, Lu \' s Caires, Frank Pfenning, and Bernardo Toninho

Reference 26

Resolution: verified exact; doi, observed 2026-08-07T05:24:15.781913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 38925ede-8328-4940-9b9d-87899e4036ac · outbound

This paper cites P \' e rez, Lu \' s Caires, Frank Pfenning, and Bernardo Toninho.

A Language-Agnostic Logical Relation for Message-Passing Protocols P \' e rez, Lu \' s Caires, Frank Pfenning, and Bernardo Toninho

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:12.735051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aed482a2-4c98-408f-9e64-46ca92852ebc · outbound

This paper cites Pitts and Ian Stark.

A Language-Agnostic Logical Relation for Message-Passing Protocols Pitts and Ian Stark

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:19.684056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 1b7a68f5-8e84-4352-ba49-b76972ce4864 · outbound

This paper cites an unresolved cited work.

A Language-Agnostic Logical Relation for Message-Passing Protocols Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:24:19.334240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5bc101ed-f1b4-4bca-a8cc-de8538fef9a8 · outbound

This paper cites Safe session-based concurrency with shared linear state.

A Language-Agnostic Logical Relation for Message-Passing Protocols Safe session-based concurrency with shared linear state

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:13.227892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e505157b-cf46-4ffc-8e50-f6dff626eec5 · outbound

This paper cites Dimsum: A decentralized approach to multi-language semantics and verification.

A Language-Agnostic Logical Relation for Message-Passing Protocols Dimsum: A decentralized approach to multi-language semantics and verification

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:13.405931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19e1a4a2-8e79-46ba-a0ba-2f858fa3132b · outbound

This paper cites The -calculus: a Theory of Mobile Processes.

A Language-Agnostic Logical Relation for Message-Passing Protocols The -calculus: a Theory of Mobile Processes

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:18.984171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9c77e9fe-8563-45d6-bda3-5debf27cd3e8 · outbound

This paper cites Logical relations and the typed -calculus.

A Language-Agnostic Logical Relation for Message-Passing Protocols Logical relations and the typed -calculus

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:13.713621Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7810e217-6c09-4211-9e82-84ef1bb86f14 · outbound

This paper cites an unresolved cited work.

A Language-Agnostic Logical Relation for Message-Passing Protocols Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:13.870131Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35a9c572-484f-481c-b27b-d5a6a6260684 · outbound

This paper cites Standard Library.

A Language-Agnostic Logical Relation for Message-Passing Protocols Standard Library

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:18.772213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 54d9f4c0-ada9-402a-8c10-551fb52b3417 · outbound

This paper cites A logical approach to type soundness.

A Language-Agnostic Logical Relation for Message-Passing Protocols A logical approach to type soundness

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:18.510510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 97a64d1c-90b8-4bf6-b2a0-1bca39153b63 · outbound

This paper cites A Logical Foundation for Session-Based Concurrent Computation.

A Language-Agnostic Logical Relation for Message-Passing Protocols A Logical Foundation for Session-Based Concurrent Computation

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:24:18.154860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d90e9461-5084-4b66-bc75-d1fafbc34193 · outbound

This paper cites Higher-order processes, functions, and sessions: A monadic integration.

A Language-Agnostic Logical Relation for Message-Passing Protocols Higher-order processes, functions, and sessions: A monadic integration

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:14.376426Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9cef0096-6f94-4f18-87fa-87e520d9520e · outbound

This paper cites Information flow control in cyclic process networks.

A Language-Agnostic Logical Relation for Message-Passing Protocols Information flow control in cyclic process networks

Reference 39

Resolution: verified exact; doi, observed 2026-08-07T05:24:15.425376Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4d66caea-8be7-48b8-8eac-6a10d6d7702e · outbound

This paper cites Propositions as sessions.

A Language-Agnostic Logical Relation for Message-Passing Protocols Propositions as sessions

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T05:24:14.669677Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a90c8fec-a289-404b-ab6d-e81112290e37 · outbound

This paper cites Semantic logical relations for timed message-passing protocols.

A Language-Agnostic Logical Relation for Message-Passing Protocols Semantic logical relations for timed message-passing protocols

Reference 41

Resolution: verified exact; doi, observed 2026-08-07T05:24:15.097707Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.