Paper Citation Record · LEDGER

Typing Composite Subjects

As of 13 August 2026, this Paper Citation Record lists 38 of 38 outbound references and 0 inbound Pith citation observations for arXiv:2411.13732.

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

pith.paper-citation-record.v1
2411.13732 v1

Coverage vector

measured 38 of 38 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T16:21:50.487747Z

measured 38 of 38 standing notices

One-hop event checks from named stored sources.

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

38 of 38 outbound references displayed

verified exact20
verified fuzzy7
unresolved10
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0f51b142-73a4-4818-918b-bd72d80123c7 · outbound

This paper cites Logical Methods in Computer Science V olume 7, Issue 1, doi:10.2168/LMCS-7(1:11)2011.

Typing Composite Subjects Logical Methods in Computer Science V olume 7, Issue 1, doi:10.2168/LMCS-7(1:11)2011

Reference 2

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.709803Z

Source-reported events for the cited work

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

Observation 6480af0a-5ced-4f26-a9ed-a9e035552e6b · outbound

This paper cites an unresolved cited work.

Typing Composite Subjects Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T16:21:51.054846Z

Source-reported events for the cited work

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

Observation 8ba33176-f1b7-4855-9637-a7410b479e05 · outbound

This paper cites Nordic Journal of Computing 10(2), pp.

Typing Composite Subjects Nordic Journal of Computing 10(2), pp

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.717070Z

Source-reported events for the cited work

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

Observation 518f5adf-8928-4dcc-97a8-628785d1950b · outbound

This paper cites In: Proc.

Typing Composite Subjects In: Proc

Reference 5

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.643299Z

Source-reported events for the cited work

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

Observation 6748bb73-ff70-45db-a73a-def2af194aa4 · outbound

This paper cites In: Proc.

Typing Composite Subjects In: Proc

Reference 6

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.636487Z

Source-reported events for the cited work

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

Observation 83a0ca1e-19e1-4822-a358-02dcb589e564 · outbound

This paper cites Formal Asp.

Typing Composite Subjects Formal Asp

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.399592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5b53cf6d-fb9c-4529-9778-f2047aab8864 · outbound

This paper cites In: Proc.

Typing Composite Subjects In: Proc

Reference 8

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.625262Z

Source-reported events for the cited work

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

Observation 3decbc62-242d-465a-9292-0c1e22171208 · outbound

This paper cites In: Proc.

Typing Composite Subjects In: Proc

Reference 9

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.618006Z

Source-reported events for the cited work

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

Observation c25bd2f4-7b42-4611-bc3a-de185182d3af · outbound

This paper cites Information and Computation 208(9), pp.

Typing Composite Subjects Information and Computation 208(9), pp

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.407347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ec3bb3f-9c57-481d-8880-f9ad93c78569 · outbound

This paper cites Math- ematical Structures in Computer Science 26, pp.

Typing Composite Subjects Math- ematical Structures in Computer Science 26, pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.409948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b13bbe9-7244-4736-9ccf-f61ac2e62191 · outbound

This paper cites Information and Computation 173(1), pp.

Typing Composite Subjects Information and Computation 173(1), pp

Reference 12

Resolution: verified exact; raw_fallback, observed 2026-08-12T16:21:50.993704Z

Source-reported events for the cited work

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

Observation 7dfec74c-ff24-49a2-b4f2-e480f0d4c1bd · outbound

This paper cites an unresolved cited work.

Typing Composite Subjects Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.602569Z

Source-reported events for the cited work

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

Observation 928475d9-5421-47a0-8890-e6afad2613eb · outbound

This paper cites Cambridge University Press, doi:10.1017/CBO9780511840449.

Typing Composite Subjects Cambridge University Press, doi:10.1017/CBO9780511840449

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.595273Z

Source-reported events for the cited work

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

Observation 3fbd972e-2050-4b72-82d5-2edb2d9db710 · outbound

This paper cites In: International Conference on Concurrency Theory , Springer, pp.

Typing Composite Subjects In: International Conference on Concurrency Theory , Springer, pp

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.587125Z

Source-reported events for the cited work

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

Observation cc0c53f7-a468-4bad-987f-a1d099f47a47 · outbound

This paper cites In Martín Abadi & Alberto Lluch La- fuente, editors: Trustworthy Global Computing , Springer International Publishing, Cham, pp.

Typing Composite Subjects In Martín Abadi & Alberto Lluch La- fuente, editors: Trustworthy Global Computing , Springer International Publishing, Cham, pp

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.580360Z

Source-reported events for the cited work

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

Observation abab4fd1-257d-4792-8d04-ece93be2a597 · outbound

This paper cites In Atsushi Igarashi, editor: Programming Languages and Systems , Springer International Publishing, Cham, pp.

Typing Composite Subjects In Atsushi Igarashi, editor: Programming Languages and Systems , Springer International Publishing, Cham, pp

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.573497Z

Source-reported events for the cited work

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

Observation 291f6c65-5029-4f1a-b62c-1741fcb85581 · outbound

This paper cites Bendixen & Bjarke B.

Typing Composite Subjects Bendixen & Bjarke B

Reference 18

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.566139Z

Source-reported events for the cited work

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

Observation 3b60f677-cb28-48dc-a4c5-3ff459a2fb52 · outbound

This paper cites an unresolved cited work.

Typing Composite Subjects Unresolved cited work

Reference 19

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.558662Z

Source-reported events for the cited work

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

Observation 1b357cc2-5df8-4c02-9f35-bdee637028c4 · outbound

This paper cites an unresolved cited work.

Typing Composite Subjects Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.438569Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e5fd852-149d-42b2-8084-a2673c5029b8 · outbound

This paper cites Informa- tion and Computation 297, p.

Typing Composite Subjects Informa- tion and Computation 297, p

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.440974Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 672d7ac9-670b-4290-8d59-96eab535d02b · outbound

This paper cites Mathematical structures in computer science 2(2), pp.

Typing Composite Subjects Mathematical structures in computer science 2(2), pp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.047704Z

Source-reported events for the cited work

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

Observation 875f4433-1acd-4f56-a2b5-57af022e356a · outbound

This paper cites In: Logic and Algebra of Speciﬁcation , Springer Berlin Heidelberg, pp.

Typing Composite Subjects In: Logic and Algebra of Speciﬁcation , Springer Berlin Heidelberg, pp

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.547313Z

Source-reported events for the cited work

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

Observation 98c30718-2166-41da-962f-ccec15cd1aa4 · outbound

This paper cites Information and Computation 100(1), pp.

Typing Composite Subjects Information and Computation 100(1), pp

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.447216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52f6c31d-2c6e-4443-a58f-0e98fbeb7f3e · outbound

This paper cites In: ECOOP’99 Workshops, LNCS 1743, Springer, pp.

Typing Composite Subjects In: ECOOP’99 Workshops, LNCS 1743, Springer, pp

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.040536Z

Source-reported events for the cited work

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

Observation 8bcb6f73-9bf9-4a9c-a882-906fda69f13e · outbound

This paper cites Springer- V erlag London, doi:10.1007/978-1-84628-692-6.

Typing Composite Subjects Springer- V erlag London, doi:10.1007/978-1-84628-692-6

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.452197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 40a1b01d-a806-400d-b961-916365616f5f · outbound

This paper cites In: Handbook of Process Algebra , Elsevier, pp.

Typing Composite Subjects In: Handbook of Process Algebra , Elsevier, pp

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.454719Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aebaba53-5f5a-4633-bfb0-44a59eba723c · outbound

This paper cites In: Emerging Trends in Concurrency Theory , ENTCS 209, Elsevier, pp.

Typing Composite Subjects In: Emerging Trends in Concurrency Theory , ENTCS 209, Elsevier, pp

Reference 28

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.528579Z

Source-reported events for the cited work

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

Observation 12154d33-947e-497b-8cad-27ec34c662d5 · outbound

This paper cites Mathematical Structures in Computer Science 24(2), doi:10.1017/S0960129513000170.

Typing Composite Subjects Mathematical Structures in Computer Science 24(2), doi:10.1017/S0960129513000170

Reference 29

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.521157Z

Source-reported events for the cited work

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

Observation ff732233-5f93-45fb-8ff5-b6f949705523 · outbound

This paper cites van Glabbeek (2015): Analysing and Comparing Encodability Criteria.

Typing Composite Subjects van Glabbeek (2015): Analysing and Comparing Encodability Criteria

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T16:21:50.462539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 145912c7-11c3-42b8-a230-ffe92d817147 · outbound

This paper cites In: [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Comput er Science , IEEE, pp.

Typing Composite Subjects In: [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Comput er Science , IEEE, pp

Reference 31

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T16:21:50.890803Z

Source-reported events for the cited work

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

Observation ee276809-f1e9-4e4b-9453-e5ffa4dc58db · outbound

This paper cites Pierce & David N.

Typing Composite Subjects Pierce & David N

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.032856Z

Source-reported events for the cited work

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

Observation 512be608-ca70-41fc-b68d-4d92efde698c · outbound

This paper cites Mosses (2014): Deriving Pretty-Big-Step Semantics from Small-Step Se- mantics.

Typing Composite Subjects Mosses (2014): Deriving Pretty-Big-Step Semantics from Small-Step Se- mantics

Reference 33

Resolution: verified exact; doi, observed 2026-08-12T16:21:50.508709Z

Source-reported events for the cited work

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

Observation fab2ac2d-578f-4583-958b-ea58b9c1053d · outbound

This paper cites Technical Report, 17-96, Dep.

Typing Composite Subjects Technical Report, 17-96, Dep

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.025416Z

Source-reported events for the cited work

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

Observation 6d124e1f-e171-43f5-8ee3-f4236e1a2e21 · outbound

This paper cites an unresolved cited work.

Typing Composite Subjects Unresolved cited work

Reference 35

Resolution: verified exact; raw_fallback, observed 2026-08-12T16:21:50.832779Z

Source-reported events for the cited work

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

Observation 8fa288b6-b340-4ff7-8cc1-a718396b2470 · outbound

This paper cites Cambridge university press.

Typing Composite Subjects Cambridge university press

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.018270Z

Source-reported events for the cited work

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

Observation d608f091-3000-46f0-9918-8f09dba7a678 · outbound

This paper cites Turner (1996): The Polymorphic Pi-calculus: Theory and Implementation.

Typing Composite Subjects Turner (1996): The Polymorphic Pi-calculus: Theory and Implementation

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.010062Z

Source-reported events for the cited work

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

Observation 7157f53e-2936-4a41-b444-9cb98b216f98 · outbound

This paper cites In: Object-Oriented Computing III, Lecture Notes , Kindai Kagaku Sha.

Typing Composite Subjects In: Object-Oriented Computing III, Lecture Notes , Kindai Kagaku Sha

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T16:21:51.001783Z

Source-reported events for the cited work

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

Observation 28df0bed-b5af-4bb5-b2ae-f386dc72cdfc · outbound

This paper cites Information and Computation 116(2), pp.

Typing Composite Subjects Information and Computation 116(2), pp

Reference 39

Resolution: verified exact; raw_fallback, observed 2026-08-12T16:21:50.782724Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.