{"as_of":"2026-08-16T19:53:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cd643cb833564a923fd3c1c59ef8a557c5661f0d17593e0acee9b7ed5ff5c87c","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T12:48:35.306492Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/1908.06510/citation-record","integrity":"/paper/1908.06510/integrity","json":"/paper/1908.06510/citation-record.json","paper":"/paper/1908.06510"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2009.06.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.470471Z","title":"Electronic Notes in Theoretical Computer Science 241, 3–33 (2009)","venue":null,"work_id":"1ebeae7a-4f88-4919-9286-efeb299835ad","year":2009},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:34.990538Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:45226932503d471105688ca8b07ca3483672330d13fe3fd8d7ef99aa9f5634fa","observation_id":"f9f5cdd7-55b2-4c80-9a25-1e35910a9ca8","resolution":{"observed_at":"2026-08-14T12:48:35.475750Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:34.997050Z","title":"In: Proceedin gs of CONCUR","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:34.997050Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:c6f754ccd06b1642058af1578c08764837ffe994922430080a4d5633aef359ce","observation_id":"a3ae9b3b-0d3b-4cf8-9921-cb021abf1a17","resolution":{"observed_at":"2026-08-14T12:48:34.997050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-38592-6","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.448058Z","title":"In: Proceedings of FORTE","venue":null,"work_id":"635449f1-1380-4858-9ff8-5228a643c746","year":2013},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.002334Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:f41bf780e7bc0d010f1d4dd8b1c897a55dc974559ec1f8e30414f003cfc9ac8e","observation_id":"b3ad5ae3-7f9c-4128-998e-72f1c3dcc0ec","resolution":{"observed_at":"2026-08-14T12:48:35.452749Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.007393Z","title":"In: Proceedings of CONCUR","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.007393Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:10d004434d810d51d9d0df7950ea72e700f1d083a510763b9546c316c9817e74","observation_id":"b2e4c3e0-f309-4aaa-8a12-a9d689e4ffd2","resolution":{"observed_at":"2026-08-14T12:48:35.007393Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.012371Z","title":"Information and Computation 208(9), 1031–1053 (2010)","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.012371Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:cf32f0f094ea47910decdc924e55cd32dd16fd253629b8b15611b06b414499a4","observation_id":"a5f07d29-9ae4-4709-8589-74b84a39c40c","resolution":{"observed_at":"2026-08-14T12:48:35.012371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.636829Z","title":"Prentice Hall (1991)","venue":null,"work_id":"e3942127-b0e4-4379-979f-5bc77d6a5dd9","year":1991},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.017781Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:12eb8cb6842dcecee668b79f605425480959ec5679e56043f8dedff39318ed16","observation_id":"a47099ff-90dc-4925-96f7-cd5661a0ec35","resolution":{"observed_at":"2026-08-14T12:48:35.676750Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.022890Z","title":"IEEE Transaction s on software engineering 23(5), 279–295 (1997)","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.022890Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:4e6b6665fb96a7e28ae039e8980b22d4615753e297c7b61ea189bd667aec5c84","observation_id":"a499d12c-dcda-4e5b-a38a-25bf646e4ee9","resolution":{"observed_at":"2026-08-14T12:48:35.022890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.028385Z","title":"In: Proceedings of POPL","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.028385Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:748bcaf68a7c0d95612ffd4facaf1a07c17030a9b36323338260055523c5477c","observation_id":"91d1aeef-0aaf-4477-9a43-d3c48e54c940","resolution":{"observed_at":"2026-08-14T12:48:35.028385Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.032842Z","title":"Journal of the ACM (JACM) 63(1) (2016)","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.032842Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:52bc3cf432a496c145d4404c84993d02b4726dd24c353a0287652ffa8f0ebdff","observation_id":"af55284d-06e4-46dc-a6d3-b2cd7248d2a4","resolution":{"observed_at":"2026-08-14T12:48:35.032842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.092990Z","title":"Information and Computation 100(1), 1–77 (1992)","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.092990Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:399a8a63cb51b22da7cf824620e85f470d271712b42e627a37a11f19a06cc555","observation_id":"3b69b373-0c20-42ff-8d7a-6e00f9d8b722","resolution":{"observed_at":"2026-08-14T12:48:35.092990Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.132601Z","title":"In: Proceedings of CONCUR","venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.132601Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:baf836779a40fcfad65f5b5820d01d63cc234c6ff1a2a169bde39cb5ea0926c8","observation_id":"1a37ff2d-5d56-458e-9f34-5d320d9eb6e5","resolution":{"observed_at":"2026-08-14T12:48:35.132601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.137570Z","title":"In: Proceedings of EXPRESS/SOS","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.137570Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:b9790ff29a35304e54c19acffc69d5dd48121a71deb5f5643fc704cd6d1f7c87","observation_id":"1cebea58-bbe7-431f-a884-4f9ff05a249d","resolution":{"observed_at":"2026-08-14T12:48:35.137570Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.571202Z","title":"In: Proceedings of ICALP (2019), to appear","venue":null,"work_id":"d240fd0f-434a-45ba-bc69-7a4776f61d9d","year":2019},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.245264Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:5f4d159b13a2e6bc11a588309f65257cf1aeb5542a2f3a951c599f3a8b041de9","observation_id":"d6cea552-ae0e-4cd4-970a-97ff2d2da9ee","resolution":{"observed_at":"2026-08-14T12:48:35.584897Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T12:48:35.306492Z","title":"In: Proceedings of FoSS aCS","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T12:48:35.306492Z"},"links":{"citing_paper":"/paper/1908.06510"},"observation_digest":"sha256:747192b23c33c3c07f4baf98bf69c93a29bcfdf7263f31cb2f8bc1667ac13c89","observation_id":"eb6c9984-8f84-4ff6-96cd-0513c44ce013","resolution":{"observed_at":"2026-08-14T12:48:35.306492Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"1908.06510","last_updated":"2019-08-18T20:24:02Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T02:25:25.388056Z","submitted_at":"2019-08-18T20:24:02Z","title":"Taming Concurrency for Verification Using Multiparty Session Types (Technical Report)"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":2,"verified_fuzzy":2},"total_outbound_references":14},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"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."}