{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:MXUSF3DJPBMYS2Z6TSXSDA565R","short_pith_number":"pith:MXUSF3DJ","schema_version":"1.0","canonical_sha256":"65e922ec697859896b3e9caf2183beec7d088ee7743d74ef1dae8036a002a8d1","source":{"kind":"arxiv","id":"1710.03928","version":1},"attestation_state":"computed","paper":{"title":"A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO","cs.PL"],"primary_cat":"cs.SE","authors_text":"Alexander Heu{\\ss}ner, Christopher M. Poskitt, Claudio Corrodi","submitted_at":"2017-10-11T06:36:58Z","abstract_excerpt":"A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time---whether to improve performance, or to extend them to new language features---potentially affecting behavioural and safety properties of existing programs. This is exemplified by SCOOP, a message-passing approach to concurrent object-oriented programming that has seen multiple changes proposed and implemented, with demonstrable consequences for an idio"},"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":"1710.03928","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-10-11T06:36:58Z","cross_cats_sorted":["cs.DC","cs.LO","cs.PL"],"title_canon_sha256":"e99636afdcef15d8f241a7bd292329658aed1a58d23be618bbde2f9798fa104d","abstract_canon_sha256":"a89fe99a3e956c1c3f2b4c904fbf5905ed8f059b37a00bdb918de210ce94c729"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:25:41.709829Z","signature_b64":"do8qX/RmicAKvtWq6qANm5fXNElWRYl9kJ47JiRrdsb3pegv/FTax3theUm82BgZeNEt3RZ3ypSLCOz1OWccBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"65e922ec697859896b3e9caf2183beec7d088ee7743d74ef1dae8036a002a8d1","last_reissued_at":"2026-05-18T00:25:41.709328Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:25:41.709328Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC","cs.LO","cs.PL"],"primary_cat":"cs.SE","authors_text":"Alexander Heu{\\ss}ner, Christopher M. Poskitt, Claudio Corrodi","submitted_at":"2017-10-11T06:36:58Z","abstract_excerpt":"A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time---whether to improve performance, or to extend them to new language features---potentially affecting behavioural and safety properties of existing programs. This is exemplified by SCOOP, a message-passing approach to concurrent object-oriented programming that has seen multiple changes proposed and implemented, with demonstrable consequences for an idio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.03928","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":"1710.03928","created_at":"2026-05-18T00:25:41.709406+00:00"},{"alias_kind":"arxiv_version","alias_value":"1710.03928v1","created_at":"2026-05-18T00:25:41.709406+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.03928","created_at":"2026-05-18T00:25:41.709406+00:00"},{"alias_kind":"pith_short_12","alias_value":"MXUSF3DJPBMY","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_16","alias_value":"MXUSF3DJPBMYS2Z6","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_8","alias_value":"MXUSF3DJ","created_at":"2026-05-18T12:31:31.346846+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/MXUSF3DJPBMYS2Z6TSXSDA565R","json":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R.json","graph_json":"https://pith.science/api/pith-number/MXUSF3DJPBMYS2Z6TSXSDA565R/graph.json","events_json":"https://pith.science/api/pith-number/MXUSF3DJPBMYS2Z6TSXSDA565R/events.json","paper":"https://pith.science/paper/MXUSF3DJ"},"agent_actions":{"view_html":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R","download_json":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R.json","view_paper":"https://pith.science/paper/MXUSF3DJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1710.03928&json=true","fetch_graph":"https://pith.science/api/pith-number/MXUSF3DJPBMYS2Z6TSXSDA565R/graph.json","fetch_events":"https://pith.science/api/pith-number/MXUSF3DJPBMYS2Z6TSXSDA565R/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R/action/storage_attestation","attest_author":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R/action/author_attestation","sign_citation":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R/action/citation_signature","submit_replication":"https://pith.science/pith/MXUSF3DJPBMYS2Z6TSXSDA565R/action/replication_record"}},"created_at":"2026-05-18T00:25:41.709406+00:00","updated_at":"2026-05-18T00:25:41.709406+00:00"}