Paper Citation Record · LEDGER

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)

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

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

pith.paper-citation-record.v1
1908.06510 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-14T12:48:35.306492Z

measured 14 of 14 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+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 exact2
verified fuzzy2
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f9f5cdd7-55b2-4c80-9a25-1e35910a9ca8 · outbound

This paper cites Electronic Notes in Theoretical Computer Science 241, 3–33 (2009).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) Electronic Notes in Theoretical Computer Science 241, 3–33 (2009)

Reference 1

Resolution: verified exact; doi, observed 2026-08-14T12:48:35.475750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a3ae9b3b-0d3b-4cf8-9921-cb021abf1a17 · outbound

This paper cites In: Proceedin gs of CONCUR.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedin gs of CONCUR

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:34.997050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3ad5ae3-7f9c-4128-998e-72f1c3dcc0ec · outbound

This paper cites In: Proceedings of FORTE.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of FORTE

Reference 3

Resolution: verified exact; doi, observed 2026-08-14T12:48:35.452749Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation b2e4c3e0-f309-4aaa-8a12-a9d689e4ffd2 · outbound

This paper cites In: Proceedings of CONCUR.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of CONCUR

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.007393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a5f07d29-9ae4-4709-8589-74b84a39c40c · outbound

This paper cites Information and Computation 208(9), 1031–1053 (2010).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) Information and Computation 208(9), 1031–1053 (2010)

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.012371Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a47099ff-90dc-4925-96f7-cd5661a0ec35 · outbound

This paper cites Prentice Hall (1991).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) Prentice Hall (1991)

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:48:35.676750Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation a499d12c-dcda-4e5b-a38a-25bf646e4ee9 · outbound

This paper cites IEEE Transaction s on software engineering 23(5), 279–295 (1997).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) IEEE Transaction s on software engineering 23(5), 279–295 (1997)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.022890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91d1aeef-0aaf-4477-9a43-d3c48e54c940 · outbound

This paper cites In: Proceedings of POPL.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of POPL

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.028385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af55284d-06e4-46dc-a6d3-b2cd7248d2a4 · outbound

This paper cites Journal of the ACM (JACM) 63(1) (2016).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) Journal of the ACM (JACM) 63(1) (2016)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.032842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3b69b373-0c20-42ff-8d7a-6e00f9d8b722 · outbound

This paper cites Information and Computation 100(1), 1–77 (1992).

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) Information and Computation 100(1), 1–77 (1992)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.092990Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a37ff2d-5d56-458e-9f34-5d320d9eb6e5 · outbound

This paper cites In: Proceedings of CONCUR.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of CONCUR

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.132601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1cebea58-bbe7-431f-a884-4f9ff05a249d · outbound

This paper cites In: Proceedings of EXPRESS/SOS.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of EXPRESS/SOS

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.137570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6cea552-ae0e-4cd4-970a-97ff2d2da9ee · outbound

This paper cites In: Proceedings of ICALP (2019), to appear.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of ICALP (2019), to appear

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-14T12:48:35.584897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.

Observation eb6c9984-8f84-4ff6-96cd-0513c44ce013 · outbound

This paper cites In: Proceedings of FoSS aCS.

Taming Concurrency for Verification Using Multiparty Session Types (Technical Report) In: Proceedings of FoSS aCS

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-14T12:48:35.306492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.