{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:5ITC365LLJQINO4BPHP3CLNBT5","short_pith_number":"pith:5ITC365L","schema_version":"1.0","canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","source":{"kind":"arxiv","id":"1709.02346","version":1},"attestation_state":"computed","paper":{"title":"Towards Runtime Adaptation of Actor Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ian Cassar","submitted_at":"2017-08-31T13:01:13Z","abstract_excerpt":"In this dissertation we focus on providing effective adaptations that can be localised and applied to specific concurrent actors, thereby only causing a temporary disruption to the parts of the system requiring mitigation, while leaving the rest of the system intact. We make the application of localised adaptations efficient through incremental synchronisation, whereby the specifier can strategically suspend specific parts of the system, whenever this is strictly required for ensuring that adaptations are effectively applied. We also study static analysis techniques to determine whether the sp"},"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":"1709.02346","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-31T13:01:13Z","cross_cats_sorted":[],"title_canon_sha256":"87510b6856538ce82e83a4c8d9f5a73d1cb4dc522aa33a31214114258b316b3d","abstract_canon_sha256":"786d9f34d02c8bc710918504ea2b8a85350cd3f494b8bc5bdbcba2cc3c704cc7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:49.433935Z","signature_b64":"ZTHloPAtjUx9suQeC++FvsujbJivup4UZkvFMH4irnWkS3IYnVr6uo89Hnl3u4XfiDOn2QAU6vWBUjgTfaMoBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","last_reissued_at":"2026-05-18T00:35:49.433173Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:49.433173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Runtime Adaptation of Actor Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Ian Cassar","submitted_at":"2017-08-31T13:01:13Z","abstract_excerpt":"In this dissertation we focus on providing effective adaptations that can be localised and applied to specific concurrent actors, thereby only causing a temporary disruption to the parts of the system requiring mitigation, while leaving the rest of the system intact. We make the application of localised adaptations efficient through incremental synchronisation, whereby the specifier can strategically suspend specific parts of the system, whenever this is strictly required for ensuring that adaptations are effectively applied. We also study static analysis techniques to determine whether the sp"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02346","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":"1709.02346","created_at":"2026-05-18T00:35:49.433280+00:00"},{"alias_kind":"arxiv_version","alias_value":"1709.02346v1","created_at":"2026-05-18T00:35:49.433280+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02346","created_at":"2026-05-18T00:35:49.433280+00:00"},{"alias_kind":"pith_short_12","alias_value":"5ITC365LLJQI","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_16","alias_value":"5ITC365LLJQINO4B","created_at":"2026-05-18T12:31:00.734936+00:00"},{"alias_kind":"pith_short_8","alias_value":"5ITC365L","created_at":"2026-05-18T12:31:00.734936+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/5ITC365LLJQINO4BPHP3CLNBT5","json":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5.json","graph_json":"https://pith.science/api/pith-number/5ITC365LLJQINO4BPHP3CLNBT5/graph.json","events_json":"https://pith.science/api/pith-number/5ITC365LLJQINO4BPHP3CLNBT5/events.json","paper":"https://pith.science/paper/5ITC365L"},"agent_actions":{"view_html":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5","download_json":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5.json","view_paper":"https://pith.science/paper/5ITC365L","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1709.02346&json=true","fetch_graph":"https://pith.science/api/pith-number/5ITC365LLJQINO4BPHP3CLNBT5/graph.json","fetch_events":"https://pith.science/api/pith-number/5ITC365LLJQINO4BPHP3CLNBT5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/action/storage_attestation","attest_author":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/action/author_attestation","sign_citation":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/action/citation_signature","submit_replication":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/action/replication_record"}},"created_at":"2026-05-18T00:35:49.433280+00:00","updated_at":"2026-05-18T00:35:49.433280+00:00"}