{"as_of":"2026-08-24T02:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1c642133ee5169c711e6515780866e56fb837e9b326d38e2ef5c16ec934d5ecb","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T10:47:56.666447Z","state":"measured"},{"denominator":43,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":43,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+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/2504.17336/citation-record","integrity":"/paper/2504.17336/integrity","json":"/paper/2504.17336/citation-record.json","paper":"/paper/2504.17336"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.288522Z","title":null,"venue":null,"work_id":"69dc44fe-60f8-49b6-a10b-5a7eaba24440","year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.500717Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:a621ae06dd46a00c968e9195ebba029eb28c9396661907688febfa31fd772d19","observation_id":"5a2a4549-8e00-4690-a9ed-c21d2296f5c5","resolution":{"observed_at":"2026-08-16T10:47:57.292210Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.276561Z","title":null,"venue":null,"work_id":"570ee45f-edfd-4098-a703-46e12f2f31f8","year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.505527Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:dabf256013fd0afca42d989b31fc5258b10ab40f1b4f26b136872ef1851a1b11","observation_id":"d20ec973-a46c-4c8c-99ed-09006c688df4","resolution":{"observed_at":"2026-08-16T10:47:57.280390Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.264877Z","title":null,"venue":null,"work_id":"d867bae1-595e-4e93-b329-519dd3266cc7","year":2021},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.509500Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:46e26e3a457ac5dd35c42442e77c18bc96b4f272e80c1d9caf7058aca26eef64","observation_id":"a95d6c51-3f8c-423b-b046-52273cc7aab8","resolution":{"observed_at":"2026-08-16T10:47:57.268553Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.254196Z","title":null,"venue":null,"work_id":"fe9e4697-e10c-432e-b223-deb789d95650","year":2022},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.513568Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:6540662b2575b6388d49a91a06e45ef71c0b08c8f94768874c3979c68fd25529","observation_id":"39c9ce21-c008-4c80-b7de-5d941890e64f","resolution":{"observed_at":"2026-08-16T10:47:57.257881Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.243749Z","title":null,"venue":null,"work_id":"42d8f8e4-8d3c-491d-b07e-290b01002edd","year":2023},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.517703Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:2dac80b40fae1063a32b9b2f763cce06138affdd0f53a21ad6d3de7c88ba7ac8","observation_id":"e1ca1f57-f82b-47a9-95cb-b30f50e419d2","resolution":{"observed_at":"2026-08-16T10:47:57.247348Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.231566Z","title":null,"venue":null,"work_id":"fa45a86a-0285-4723-b423-653ff90fc6d8","year":2023},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.521712Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:abca39f8890c625aa6651553da3b8a9f82e51cdc89a7c232b95b51003805ee94","observation_id":"42c870db-7b79-40a0-bda0-0e7dd76ae781","resolution":{"observed_at":"2026-08-16T10:47:57.235542Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.219926Z","title":null,"venue":null,"work_id":"26e61ed9-0eb4-477a-b72d-0315c5cbbd65","year":2023},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.525900Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:afde31fdf44ab7c5bd9fc8a7cb2800b83120b3d39c02fb0d97691ad1d15903a6","observation_id":"f1ca5058-1cf4-4543-843d-c4d48aeaa4ab","resolution":{"observed_at":"2026-08-16T10:47:57.223807Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.206747Z","title":null,"venue":null,"work_id":"3d785d20-2748-4bff-b9d3-31a2ec8e82bd","year":2024},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.529632Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:7a833eec53457f9733649885696dadcf9464c96045ad1570829ccfc55dd3ef19","observation_id":"bade7f5a-d8a8-4873-8453-f62cd34a5908","resolution":{"observed_at":"2026-08-16T10:47:57.211120Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.14991761","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.696892Z","title":null,"venue":null,"work_id":"08577813-c1ce-4da0-92b4-b6a4ac188b17","year":2025},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.533272Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:ea82127a4e3686fee395df6fe363c94cc1b346acc7dd215743d77b208a5c938c","observation_id":"e24733ee-d9eb-4000-9f5d-ca8d74047c62","resolution":{"observed_at":"2026-08-16T10:47:56.702093Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.193472Z","title":"In: Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003","venue":null,"work_id":"6a381399-ad21-4984-938e-ac50ee84d6f3","year":2003},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.536901Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:29654718723a987d208fa23d7d666d0647ec5bbaa19bfca3a53e1f8d3832bfc3","observation_id":"c3807db8-4443-47b5-8269-707fe0f31d7e","resolution":{"observed_at":"2026-08-16T10:47:57.197660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.180140Z","title":"In : 2019 27th Euromicro International Conference on Parallel, Distributed and Net work-Based Processing (PDP)","venue":null,"work_id":"a3efd4f8-8f1e-4775-a11f-c560a86bd2ce","year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.540388Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:80b43d6fa032f02d0245d512132c38850c440f32150a91205da4efa83d3b399c","observation_id":"46af7577-7418-47df-bf84-77cb22011b74","resolution":{"observed_at":"2026-08-16T10:47:57.184200Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.167778Z","title":"Springe r Science & Business Me- dia (2013)","venue":null,"work_id":"b5168b4b-36e8-40bc-a92f-40278ac36967","year":2013},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.544135Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:529140d8d915fffc0ad1530354bb0dcf3dd5c5dc7fd733a77c9e05d4a6317481","observation_id":"0a996de2-2489-43f7-b2da-8c066af52dae","resolution":{"observed_at":"2026-08-16T10:47:57.171471Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.156681Z","title":"move: A language with programmable resources (2020)","venue":null,"work_id":"e5646606-c0b0-4728-ab19-fb935a8fb005","year":2020},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.547867Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:c1233a250c9ec412dd67d08c0415c0d2f15435f091280cbe72032ee691e22188","observation_id":"d28b536e-868b-47f3-91b3-52ba35ff43d7","resolution":{"observed_at":"2026-08-16T10:47:57.160116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.144981Z","title":"In: Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Princi ples","venue":null,"work_id":"c3979cff-d65d-4f8f-9829-fa15070c5fed","year":2021},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.551509Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:3deaaa07f4c077909a0e5426f0e9a275ca53761ecfe5e77a7bb691e6bbd5f618","observation_id":"1f3ca73a-7ad1-4d61-a661-f88726634c57","resolution":{"observed_at":"2026-08-16T10:47:57.148479Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.132909Z","title":"In: Proceed- ings of the 18th ACM SIGPLAN international conference on Fun ctional program- ming","venue":null,"work_id":"1e9cbc7a-883a-433a-9e17-1f05644fd3ed","year":2013},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.555154Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:1a443b1b323b381fbaf3640e3a2ca97ffd53de5984f145e6cc79cb661c30753a","observation_id":"c43aa7a9-c79c-4074-85d1-3a865637824b","resolution":{"observed_at":"2026-08-16T10:47:57.136646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.119836Z","title":"V ALID pp","venue":null,"work_id":"920e3201-f70e-42cd-be76-715b94368165","year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.559211Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:965f126e74d84e61280152936abecceadd4c53c3b9265bbb9db2b1ead93f5bf9","observation_id":"701f3850-bd49-4970-a941-e71158b6312a","resolution":{"observed_at":"2026-08-16T10:47:57.124198Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.106318Z","title":"In: Unifying Theories of Programming: 5th Inter national Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers 5","venue":null,"work_id":"6ed58093-6abe-4188-8075-e1ce33ea6869","year":2015},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.563269Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:45ecb5f8c96de3e60951af2b42a68c9c481956ac9e26f716a8fb55d92ba03f91","observation_id":"0bf82d44-11d8-409f-8c7b-5bdb46578017","resolution":{"observed_at":"2026-08-16T10:47:57.110960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.094382Z","title":"In: Proceedings of the 44th International Conference on Sof tware Engineering","venue":null,"work_id":"b7cde6dc-6d3a-45e2-a265-b8f6ca835430","year":2022},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.567035Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:a81631b910c7d7d276b4734ff351e7c132b88fcaebce76ff68f9724ac08b569e","observation_id":"97afd9b9-c427-4834-985a-729e31047faa","resolution":{"observed_at":"2026-08-16T10:47:57.098267Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.081059Z","title":"In: Proceedings of the 28th ACM SIGPL AN Annual Sym- posium on Principles and Practice of Parallel Programming","venue":null,"work_id":"fd4dc837-c8f6-40e1-af01-b5184f4faad9","year":2023},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.570500Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:f197d8311e12935015d38f6815f4794be0e8da323c13576246966ff5283def8d","observation_id":"a9ab79ad-951b-4f36-b638-fd6f4f11d7c2","resolution":{"observed_at":"2026-08-16T10:47:57.085339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.067910Z","title":"IACR Cryptol","venue":null,"work_id":"19755362-e647-4128-be21-be5bf03160af","year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.574092Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:c022f5ae1b67aa45efbf2498a27d5bdd57b334093823808201ebb655d1ea1ac1","observation_id":"a5d4c25d-10a7-4719-92fa-df3f6b181286","resolution":{"observed_at":"2026-08-16T10:47:57.071785Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.054401Z","title":"In: Verified Software","venue":null,"work_id":"259cef21-554d-4fd4-a228-b3d5645cb7b6","year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.577886Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:f4e15b1bf3f96bfc552062683fe2aca45418ec3b990b511305692807a163645b","observation_id":"79ab300f-18a0-4646-b763-77ca5bffebc8","resolution":{"observed_at":"2026-08-16T10:47:57.058632Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.040849Z","title":"In: Proceedings of ESOP 2020","venue":null,"work_id":"d15ccb9f-36a3-4c34-926b-e5e32a1c3119","year":2020},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.581419Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:ebb627b3074cff1b619ff18c43c65ad411c9eb6315a7d1f850bd37142c29df74","observation_id":"830f2329-2f5a-4d8b-82f2-27700e0ec491","resolution":{"observed_at":"2026-08-16T10:47:57.045404Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.027163Z","title":"In: Proceedings of the 1 3th ACM SIGPLAN Symposium on Principles and practice of parallel programmi ng","venue":null,"work_id":"71a531e2-2819-4183-87b3-8e2d4b3e5bc0","year":2008},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.584946Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:df08760fa2348a211621dea60e23335c5917c8ca231ac3916d5db1466833d099","observation_id":"adb85f0f-4be9-4040-ad3b-a8c720b13c69","resolution":{"observed_at":"2026-08-16T10:47:57.031426Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:57.014120Z","title":"In: Proceedings of CSF 2018","venue":null,"work_id":"7fc325e4-b798-4d6e-970e-e81f20a7c56b","year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.588579Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:2b6f549e205e5b2a6c68b03dd33b9e217c8c37cc92b68b61a3342db53b6856bb","observation_id":"5b2f5040-c196-429f-b02e-43df88acba69","resolution":{"observed_at":"2026-08-16T10:47:57.018120Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.989776Z","title":"Prentice Hall (1998)","venue":null,"work_id":"4983b881-b1e7-490e-ab7f-b6ee2d420fdc","year":1998},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.596653Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:24d14818e3bc52195f87c2601c2e745a4b7e1856ccd969ac75e667be601e280e","observation_id":"91cb94c4-f037-482a-a37b-0ba05dd45037","resolution":{"observed_at":"2026-08-16T10:47:56.994153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.977034Z","title":"Rap- port Technique 178, 113 (1997)","venue":null,"work_id":"8f62b497-78ed-4dcc-871c-95f06deae671","year":1997},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.601208Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:4c487ef140913681374f73817cc7d86d1ece4426e6a8832f8809c903c797386c","observation_id":"b3927b1f-ac58-4bd7-ac1d-524544c8bede","resolution":{"observed_at":"2026-08-16T10:47:56.980977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1804.01295","last_updated":"2018-04-04T08:37:05Z","snapshot_observed_at":"2026-08-14T19:29:28.291038Z","submitted_at":"2018-04-04T08:37:05Z","title":"Executable Operational Semantics of Solidity","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.01295","snapshot_observed_at":"2026-08-16T10:47:56.605053Z","title":"CoRR abs/1804.01295 (2018), http://arxiv.org/abs/1804.01295","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.605053Z"},"links":{"cited_paper":"/paper/1804.01295","citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:967fe3d09fb588a2f9134b4381416eda830d8e261f1fee16177b987bfd373b97","observation_id":"91f3e764-7e22-4bb8-bf05-35c881594e44","resolution":{"observed_at":"2026-08-16T10:47:56.605053Z","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-16T10:47:56.964057Z","title":"In: Proceedings of SP 2020","venue":null,"work_id":"fc3358e9-85c0-49eb-b330-0c146fc472a3","year":2020},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.609549Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:7b12c8d4bf007d1cd3ca0ec62be032c6a57ec6d6cd33997c1f0d500f6841a888","observation_id":"8fa13bfc-8990-49f4-9d93-e4de2e5f76f8","resolution":{"observed_at":"2026-08-16T10:47:56.968030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.951282Z","title":"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","venue":null,"work_id":"e9ff3f97-8982-41fe-aeb5-f0bc49ea521e","year":2014},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.613267Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:99ce7b7feea3563afd8f5e25ee72629ed4e6ca4bba56678cc8d731ab0cb0e91f","observation_id":"7deeb059-54b0-43c2-9152-1cafecded4e0","resolution":{"observed_at":"2026-08-16T10:47:56.955211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.938107Z","title":"ACM Transactions on Database Systems (TODS) 6(2), 213–226 (1981)","venue":null,"work_id":"d16a1178-abb3-4d3e-be0d-6fd72d0b732f","year":1981},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.617266Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:bf8c97ffd66621528906b81e0ecb2c71be7206b2d3b9cbeae8b3532d03e360a9","observation_id":"745c4179-6517-4b42-8ac5-49c1fc1fa22f","resolution":{"observed_at":"2026-08-16T10:47:56.942527Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T10:47:56.621906Z","title":"In: Proceedings of SEFM 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.621906Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:9ca29f5f03b97ce772ea4bfb70cabadba0b424ee7ea97e0144952d4bf188c46a","observation_id":"5e0fdc46-4e2c-4127-bb70-dc06424adbbe","resolution":{"observed_at":"2026-08-16T10:47:56.621906Z","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-16T10:47:56.915362Z","title":null,"venue":null,"work_id":"db15203b-727d-4741-8521-4224ce8f0daa","year":2008},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.626167Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:739494bc93919e95cf291237090f3e04b7c79371b82651a43a8c82419a4672a8","observation_id":"f7f647f2-79a6-44a5-a1fb-5709debd00fb","resolution":{"observed_at":"2026-08-16T10:47:56.919172Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.901221Z","title":"In: International Conference on Automated Deduction","venue":null,"work_id":"9234c463-347f-4bcc-9f0f-4fa82d9b3e4d","year":1992},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.630144Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:4a1d45a8080f6687fc50436b93a886b5dbb9bc53f15045279c0ddee8dc0c6893","observation_id":"63ed1d21-222a-4859-adc9-dcca8f57e734","resolution":{"observed_at":"2026-08-16T10:47:56.906435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.887803Z","title":null,"venue":null,"work_id":"27d9bfe2-536d-4546-921e-d5f103d45709","year":1981},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.634054Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:6cbb45ed5386b216bd72a1f25ec4ff6de2b6ec015dfc56128e9d5168af31514b","observation_id":"f8739f4a-6d76-41cc-941b-c63cdd7cddf0","resolution":{"observed_at":"2026-08-16T10:47:56.892208Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.874653Z","title":"In: 2023 IEEE 43rd International Conference on Di stributed Computing Systems (ICDCS)","venue":null,"work_id":"f9314d14-dc9f-41e7-a55a-005bdba9c7f7","year":2023},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.637792Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:47dbccb05fc7d71c65bb101202dc233756282e96531173b9a0922d0c16052f27","observation_id":"46a231f0-8a27-4347-9446-2e6d3afcc720","resolution":{"observed_at":"2026-08-16T10:47:56.878583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T10:47:56.861140Z","title":null,"venue":null,"work_id":"688df90a-badb-4153-b42e-c0b972a1ee7f","year":2021},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.642041Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:b5828a81e8706c139994d913474b8a864a2c427ef17c82977bcbeebb8c095cb9","observation_id":"2766937a-aba4-4998-afb8-380cf9b6f66e","resolution":{"observed_at":"2026-08-16T10:47:56.865491Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1901.01376","last_updated":"2019-01-22T00:41:42Z","snapshot_observed_at":"2026-08-14T17:34:52.655301Z","submitted_at":"2019-01-05T07:33:33Z","title":"An Empirical Study of Speculative Concurrency in Ethereum Smart Contracts","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1901.01376","snapshot_observed_at":"2026-08-16T10:47:56.645954Z","title":"arXiv preprint arXiv:1901.01376 (2019)","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.645954Z"},"links":{"cited_paper":"/paper/1901.01376","citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:f6052edd35d4b057c3b732eaef6e3912c1478bb3c4f588c0ff7254fb6e318bfb","observation_id":"8e74328f-0c90-40d8-8060-da065b6f6e77","resolution":{"observed_at":"2026-08-16T10:47:56.645954Z","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-16T10:47:56.848451Z","title":"In: Inte rnational Conference on Theorem Proving in Higher Order Logics","venue":null,"work_id":"5fc3a6af-a3fa-4300-af07-e15c8785acbb","year":2008},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.650568Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:45a7dfbd3aa73daa14a187cd2c08859bce7132595f4289ad280cab31ecb27d3c","observation_id":"7b2996a7-407d-4d22-86a1-59df274a1a69","resolution":{"observed_at":"2026-08-16T10:47:56.852434Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T10:47:56.654357Z","title":"In: Proceedings of the 30th ACM SIGP LAN Annual Symposium on Principles and Practice of Parallel Programmi ng","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.654357Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:0df3afbb953a403fff48ca9e491eaac83850d7657e27d65a98005460311ea97c","observation_id":"4479e24d-72d9-4dd0-9be0-eb32954c8fb5","resolution":{"observed_at":"2026-08-16T10:47:56.654357Z","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-16T10:47:56.835695Z","title":"MIT Press (1993)","venue":null,"work_id":"f5499f05-1acb-4367-94ff-5689acba37e9","year":1993},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.658015Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:50e3da81d3e764d456fa19caa3bd1aaa0cddb5e6367e5d347e41cf5f1119a440","observation_id":"5aa4abf4-015a-4e6f-8ef0-db9100c89ea1","resolution":{"observed_at":"2026-08-16T10:47:56.840113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1803.09885","last_updated":"2021-01-04T12:08:14Z","snapshot_observed_at":"2026-08-14T19:32:11.860174Z","submitted_at":"2018-03-27T03:55:36Z","title":"Lolisa: Formal syntax and semantics for a subset of the solidity programming language in Mathematical Tool Coq","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1803.09885","snapshot_observed_at":"2026-08-16T10:47:56.662348Z","title":"CoRR abs/1803.09885 (2018), http://arxiv.org/abs/1803.09885","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.662348Z"},"links":{"cited_paper":"/paper/1803.09885","citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:68b018397c6368bb360b3ec4ee11318f9f27314ada4cd80d7c80a57eb7ca1a21","observation_id":"68a37ae9-5fe8-465d-b407-9a1c237fc262","resolution":{"observed_at":"2026-08-16T10:47:56.662348Z","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-16T10:47:56.822325Z","title":"In: Verified Software","venue":null,"work_id":"5fb5d296-1285-4ebc-941f-019d2571b002","year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.666447Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:f8b66b97031b85af651699f4c75efbb8f86a962f21ccce53cd6467b70d3aa167","observation_id":"a8d96d74-682e-4286-9c57-264f57bb8c2e","resolution":{"observed_at":"2026-08-16T10:47:56.826691Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+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-16T10:47:56.592906Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs","version":1},"reference_index":217,"source":"pdf_text","source_observed_at":"2026-08-16T10:47:56.592906Z"},"links":{"citing_paper":"/paper/2504.17336"},"observation_digest":"sha256:94419ba0339ed5968ca4acbc3b0ec9b856edb7b34d6924ef6b7958018e28a007","observation_id":"02476928-fb8d-4fed-beb3-24c8045be64f","resolution":{"observed_at":"2026-08-16T10:47:56.592906Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2504.17336","last_updated":"2025-04-24T07:53:30Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-18T13:44:46.901739Z","submitted_at":"2025-04-24T07:53:30Z","title":"Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":1,"verified_fuzzy":25},"total_outbound_references":43},"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-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 24 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 0 inbound Pith citation observations for arXiv:2504.17336."}