{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:UHVM2A3Z5FYNRDGAHHELUPN52J","short_pith_number":"pith:UHVM2A3Z","schema_version":"1.0","canonical_sha256":"a1eacd0379e970d88cc039c8ba3dbdd25e0dd67eb16634fb852eb5e9285a0246","source":{"kind":"arxiv","id":"1403.7579","version":1},"attestation_state":"computed","paper":{"title":"Proceedings 8th International Workshop on Developments in Computational Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.DS","cs.PL"],"primary_cat":"cs.LO","authors_text":"Benedikt L\\\"owe, Glynn Winskel","submitted_at":"2014-03-29T01:54:28Z","abstract_excerpt":"The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. The eighth workshop in the series, DCM 2012, was part of the celebrations of the Turing Centenary and was held as a satellite event of the Turing centenary conference Computability in Europe 2012 (CiE 2012) in"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1403.7579","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2014-03-29T01:54:28Z","cross_cats_sorted":["cs.DC","cs.DS","cs.PL"],"title_canon_sha256":"6ade5ed7f36a872ab0c3d0f9f370a4a23778de1447c6728a7037127ebe402b68","abstract_canon_sha256":"9d61012279af61aebf361c08999679f0f2cc20cafb8ec2cfbb595bf952354bf9"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:55:19.057698Z","signature_b64":"VVe1CtfKd+HZ8Uah8AIjnCVvwP09YVmyr9HFDg+q0L2X4nddNcnsJVx4TKyZO6R7PhaosSd/DuaHyOjBnpVaDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1eacd0379e970d88cc039c8ba3dbdd25e0dd67eb16634fb852eb5e9285a0246","last_reissued_at":"2026-05-18T02:55:19.057084Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:55:19.057084Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proceedings 8th International Workshop on Developments in Computational Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.DS","cs.PL"],"primary_cat":"cs.LO","authors_text":"Benedikt L\\\"owe, Glynn Winskel","submitted_at":"2014-03-29T01:54:28Z","abstract_excerpt":"The aim of the workshop series Developments in Computational Models (DCM) is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. The eighth workshop in the series, DCM 2012, was part of the celebrations of the Turing Centenary and was held as a satellite event of the Turing centenary conference Computability in Europe 2012 (CiE 2012) in"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.7579","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1403.7579","created_at":"2026-05-18T02:55:19.057180+00:00"},{"alias_kind":"arxiv_version","alias_value":"1403.7579v1","created_at":"2026-05-18T02:55:19.057180+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.7579","created_at":"2026-05-18T02:55:19.057180+00:00"},{"alias_kind":"pith_short_12","alias_value":"UHVM2A3Z5FYN","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_16","alias_value":"UHVM2A3Z5FYNRDGA","created_at":"2026-05-18T12:28:52.271510+00:00"},{"alias_kind":"pith_short_8","alias_value":"UHVM2A3Z","created_at":"2026-05-18T12:28:52.271510+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J","json":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J.json","graph_json":"https://pith.science/api/pith-number/UHVM2A3Z5FYNRDGAHHELUPN52J/graph.json","events_json":"https://pith.science/api/pith-number/UHVM2A3Z5FYNRDGAHHELUPN52J/events.json","paper":"https://pith.science/paper/UHVM2A3Z"},"agent_actions":{"view_html":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J","download_json":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J.json","view_paper":"https://pith.science/paper/UHVM2A3Z","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1403.7579&json=true","fetch_graph":"https://pith.science/api/pith-number/UHVM2A3Z5FYNRDGAHHELUPN52J/graph.json","fetch_events":"https://pith.science/api/pith-number/UHVM2A3Z5FYNRDGAHHELUPN52J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J/action/storage_attestation","attest_author":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J/action/author_attestation","sign_citation":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J/action/citation_signature","submit_replication":"https://pith.science/pith/UHVM2A3Z5FYNRDGAHHELUPN52J/action/replication_record"}},"created_at":"2026-05-18T02:55:19.057180+00:00","updated_at":"2026-05-18T02:55:19.057180+00:00"}