{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:E3YLDDL5TB2J64MSEC6BULQJ4G","short_pith_number":"pith:E3YLDDL5","schema_version":"1.0","canonical_sha256":"26f0b18d7d98749f719220bc1a2e09e1b996521bb67ce28331558ec012886881","source":{"kind":"arxiv","id":"1601.01546","version":2},"attestation_state":"computed","paper":{"title":"On the Executability of Interactive Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bas Luttik, Fei Yang","submitted_at":"2016-01-07T14:38:51Z","abstract_excerpt":"The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are reactively executable. In this article we provide a comparison of the two models. We show, on the one hand, that the behaviour exhibited by ITMs is reactively executable, and, on the other hand, that the stream translations naturally associated with RTMs are interactively computable. We conclude from these results that the theory of reactive executability subs"},"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":"1601.01546","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-01-07T14:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"9ba52afeb5835b7eea52c41d69bb9f7623540930b47917bf9cc1905e0be2959d","abstract_canon_sha256":"10870444264f42994d398fe36537b58b67b4cee35010df87b95a7065293d8d86"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:23:07.505370Z","signature_b64":"3+jVAJJ+lfDLkHSwWF20E141FD0OiR711sJ3vhAl5EJhz/4iwnqdo7bTG+sntGyQ6/YNZb9fyxAYRbIZCuBODw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"26f0b18d7d98749f719220bc1a2e09e1b996521bb67ce28331558ec012886881","last_reissued_at":"2026-05-18T01:23:07.504684Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:23:07.504684Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Executability of Interactive Computation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bas Luttik, Fei Yang","submitted_at":"2016-01-07T14:38:51Z","abstract_excerpt":"The model of interactive Turing machines (ITMs) has been proposed to characterise which stream translations are interactively computable; the model of reactive Turing machines (RTMs) has been proposed to characterise which behaviours are reactively executable. In this article we provide a comparison of the two models. We show, on the one hand, that the behaviour exhibited by ITMs is reactively executable, and, on the other hand, that the stream translations naturally associated with RTMs are interactively computable. We conclude from these results that the theory of reactive executability subs"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1601.01546","kind":"arxiv","version":2},"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":"1601.01546","created_at":"2026-05-18T01:23:07.504786+00:00"},{"alias_kind":"arxiv_version","alias_value":"1601.01546v2","created_at":"2026-05-18T01:23:07.504786+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1601.01546","created_at":"2026-05-18T01:23:07.504786+00:00"},{"alias_kind":"pith_short_12","alias_value":"E3YLDDL5TB2J","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_16","alias_value":"E3YLDDL5TB2J64MS","created_at":"2026-05-18T12:30:12.583610+00:00"},{"alias_kind":"pith_short_8","alias_value":"E3YLDDL5","created_at":"2026-05-18T12:30:12.583610+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/E3YLDDL5TB2J64MSEC6BULQJ4G","json":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G.json","graph_json":"https://pith.science/api/pith-number/E3YLDDL5TB2J64MSEC6BULQJ4G/graph.json","events_json":"https://pith.science/api/pith-number/E3YLDDL5TB2J64MSEC6BULQJ4G/events.json","paper":"https://pith.science/paper/E3YLDDL5"},"agent_actions":{"view_html":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G","download_json":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G.json","view_paper":"https://pith.science/paper/E3YLDDL5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1601.01546&json=true","fetch_graph":"https://pith.science/api/pith-number/E3YLDDL5TB2J64MSEC6BULQJ4G/graph.json","fetch_events":"https://pith.science/api/pith-number/E3YLDDL5TB2J64MSEC6BULQJ4G/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G/action/timestamp_anchor","attest_storage":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G/action/storage_attestation","attest_author":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G/action/author_attestation","sign_citation":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G/action/citation_signature","submit_replication":"https://pith.science/pith/E3YLDDL5TB2J64MSEC6BULQJ4G/action/replication_record"}},"created_at":"2026-05-18T01:23:07.504786+00:00","updated_at":"2026-05-18T01:23:07.504786+00:00"}