Paper Citation Record · LEDGER

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs

As of 23 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2504.17336.

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

pith.paper-citation-record.v1
2504.17336 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:47:56.666447Z

measured 43 of 43 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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

43 of 43 outbound references displayed

verified exact1
verified fuzzy25
unresolved17
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 5a2a4549-8e00-4690-a9ed-c21d2296f5c5 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.292210Z

Source-reported events for the cited work

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

Observation d20ec973-a46c-4c8c-99ed-09006c688df4 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.280390Z

Source-reported events for the cited work

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

Observation a95d6c51-3f8c-423b-b046-52273cc7aab8 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.268553Z

Source-reported events for the cited work

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

Observation 39c9ce21-c008-4c80-b7de-5d941890e64f · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.257881Z

Source-reported events for the cited work

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

Observation e1ca1f57-f82b-47a9-95cb-b30f50e419d2 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.247348Z

Source-reported events for the cited work

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

Observation 42c870db-7b79-40a0-bda0-0e7dd76ae781 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.235542Z

Source-reported events for the cited work

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

Observation f1ca5058-1cf4-4543-843d-c4d48aeaa4ab · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.223807Z

Source-reported events for the cited work

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

Observation bade7f5a-d8a8-4873-8453-f62cd34a5908 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:57.211120Z

Source-reported events for the cited work

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

Observation e24733ee-d9eb-4000-9f5d-ca8d74047c62 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 9

Resolution: verified exact; doi, observed 2026-08-16T10:47:56.702093Z

Source-reported events for the cited work

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

Observation c3807db8-4443-47b5-8269-707fe0f31d7e · outbound

This paper cites In: Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.197660Z

Source-reported events for the cited work

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

Observation 46af7577-7418-47df-bf84-77cb22011b74 · outbound

This paper cites In : 2019 27th Euromicro International Conference on Parallel, Distributed and Net work-Based Processing (PDP).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In : 2019 27th Euromicro International Conference on Parallel, Distributed and Net work-Based Processing (PDP)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.184200Z

Source-reported events for the cited work

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

Observation 0a996de2-2489-43f7-b2da-8c066af52dae · outbound

This paper cites Springe r Science & Business Me- dia (2013).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Springe r Science & Business Me- dia (2013)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.171471Z

Source-reported events for the cited work

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

Observation d28b536e-868b-47f3-91b3-52ba35ff43d7 · outbound

This paper cites move: A language with programmable resources (2020).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs move: A language with programmable resources (2020)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.160116Z

Source-reported events for the cited work

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

Observation 1f3ca73a-7ad1-4d61-a661-f88726634c57 · outbound

This paper cites In: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Princi ples.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Princi ples

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.148479Z

Source-reported events for the cited work

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

Observation c43aa7a9-c79c-4074-85d1-3a865637824b · outbound

This paper cites In: Proceed- ings of the 18th ACM SIGPLAN international conference on Fun ctional program- ming.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceed- ings of the 18th ACM SIGPLAN international conference on Fun ctional program- ming

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.136646Z

Source-reported events for the cited work

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

Observation 701f3850-bd49-4970-a941-e71158b6312a · outbound

This paper cites V ALID pp.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs V ALID pp

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.124198Z

Source-reported events for the cited work

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

Observation 0bf82d44-11d8-409f-8c7b-5bdb46578017 · outbound

This paper cites In: Unifying Theories of Programming: 5th Inter national Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 5.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Unifying Theories of Programming: 5th Inter national Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 5

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.110960Z

Source-reported events for the cited work

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

Observation 97afd9b9-c427-4834-985a-729e31047faa · outbound

This paper cites In: Proceedings of the 44th International Conference on Sof tware Engineering.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of the 44th International Conference on Sof tware Engineering

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.098267Z

Source-reported events for the cited work

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

Observation a9ab79ad-951b-4f36-b638-fd6f4f11d7c2 · outbound

This paper cites In: Proceedings of the 28th ACM SIGPL AN Annual Sym- posium on Principles and Practice of Parallel Programming.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of the 28th ACM SIGPL AN Annual Sym- posium on Principles and Practice of Parallel Programming

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.085339Z

Source-reported events for the cited work

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

Observation a5d4c25d-10a7-4719-92fa-df3f6b181286 · outbound

This paper cites IACR Cryptol.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs IACR Cryptol

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.071785Z

Source-reported events for the cited work

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

Observation 79ab300f-18a0-4646-b763-77ca5bffebc8 · outbound

This paper cites In: Veriﬁed Software.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Veriﬁed Software

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.058632Z

Source-reported events for the cited work

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

Observation 830f2329-2f5a-4d8b-82f2-27700e0ec491 · outbound

This paper cites In: Proceedings of ESOP 2020.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of ESOP 2020

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.045404Z

Source-reported events for the cited work

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

Observation adb85f0f-4be9-4040-ad3b-a8c720b13c69 · outbound

This paper cites In: Proceedings of the 1 3th ACM SIGPLAN Symposium on Principles and practice of parallel programmi ng.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of the 1 3th ACM SIGPLAN Symposium on Principles and practice of parallel programmi ng

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.031426Z

Source-reported events for the cited work

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

Observation 5b2f5040-c196-429f-b02e-43df88acba69 · outbound

This paper cites In: Proceedings of CSF 2018.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of CSF 2018

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:57.018120Z

Source-reported events for the cited work

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

Observation 91cb94c4-f037-482a-a37b-0ba05dd45037 · outbound

This paper cites Prentice Hall (1998).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Prentice Hall (1998)

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.994153Z

Source-reported events for the cited work

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

Observation b3927b1f-ac58-4bd7-ac1d-524544c8bede · outbound

This paper cites Rap- port Technique 178, 113 (1997).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Rap- port Technique 178, 113 (1997)

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.980977Z

Source-reported events for the cited work

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

Observation 91f3e764-7e22-4bb8-bf05-35c881594e44 · outbound

This paper cites Executable Operational Semantics of Solidity.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Executable Operational Semantics of Solidity

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.605053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fa13bfc-8990-49f4-9d93-e4de2e5f76f8 · outbound

This paper cites In: Proceedings of SP 2020.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of SP 2020

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.968030Z

Source-reported events for the cited work

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

Observation 7deeb059-54b0-43c2-9152-1cafecded4e0 · outbound

This paper cites In: Interactive Theorem Proving: 5th International C onference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, A ustria, July 14-17, 2014.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Interactive Theorem Proving: 5th International C onference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, A ustria, July 14-17, 2014

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.955211Z

Source-reported events for the cited work

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

Observation 745c4179-6517-4b42-8ac5-49c1fc1fa22f · outbound

This paper cites ACM Transactions on Database Systems (TODS) 6(2), 213–226 (1981).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs ACM Transactions on Database Systems (TODS) 6(2), 213–226 (1981)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.942527Z

Source-reported events for the cited work

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

Observation 5e0fdc46-4e2c-4127-bb70-dc06424adbbe · outbound

This paper cites In: Proceedings of SEFM 2021.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of SEFM 2021

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.621906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7f647f2-79a6-44a5-a1fb-5709debd00fb · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:56.919172Z

Source-reported events for the cited work

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

Observation 63ed1d21-222a-4859-adc9-dcca8f57e734 · outbound

This paper cites In: International Conference on Automated Deduction.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: International Conference on Automated Deduction

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.906435Z

Source-reported events for the cited work

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

Observation f8739f4a-6d76-41cc-941b-c63cdd7cddf0 · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:56.892208Z

Source-reported events for the cited work

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

Observation 46a231f0-8a27-4347-9446-2e6d3afcc720 · outbound

This paper cites In: 2023 IEEE 43rd International Conference on Di stributed Computing Systems (ICDCS).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: 2023 IEEE 43rd International Conference on Di stributed Computing Systems (ICDCS)

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.878583Z

Source-reported events for the cited work

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

Observation 2766937a-aba4-4998-afb8-380cf9b6f66e · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 36

Resolution: unresolved; raw_fallback, observed 2026-08-16T10:47:56.865491Z

Source-reported events for the cited work

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

Observation 8e74328f-0c90-40d8-8060-da065b6f6e77 · outbound

This paper cites An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.645954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b2996a7-407d-4d22-86a1-59df274a1a69 · outbound

This paper cites In: Inte rnational Conference on Theorem Proving in Higher Order Logics.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Inte rnational Conference on Theorem Proving in Higher Order Logics

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.852434Z

Source-reported events for the cited work

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

Observation 4479e24d-72d9-4dd0-9be0-eb32954c8fb5 · outbound

This paper cites In: Proceedings of the 30th ACM SIGP LAN Annual Symposium on Principles and Practice of Parallel Programmi ng.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Proceedings of the 30th ACM SIGP LAN Annual Symposium on Principles and Practice of Parallel Programmi ng

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.654357Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5aa4abf4-015a-4e6f-8ef0-db9100c89ea1 · outbound

This paper cites MIT Press (1993).

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs MIT Press (1993)

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.840113Z

Source-reported events for the cited work

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

Observation 68a37ae9-5fe8-465d-b407-9a1c237fc262 · outbound

This paper cites Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.662348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8d96d74-682e-4286-9c57-264f57bb8c2e · outbound

This paper cites In: Veriﬁed Software.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs In: Veriﬁed Software

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:47:56.826691Z

Source-reported events for the cited work

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

Observation 02476928-fb8d-4fed-beb3-24c8045be64f · outbound

This paper cites an unresolved cited work.

Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs Unresolved cited work

Reference 217

Resolution: unresolved; no resolver link, observed 2026-08-16T10:47:56.592906Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.