{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5ITC365LLJQINO4BPHP3CLNBT5","short_pith_number":"pith:5ITC365L","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"},"canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","source":{"kind":"arxiv","id":"1709.02346","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02346","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02346v1","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02346","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"pith_short_12","alias_value":"5ITC365LLJQI","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5ITC365LLJQINO4B","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5ITC365L","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5ITC365LLJQINO4BPHP3CLNBT5","target":"record","payload":{"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"},"canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","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"},"source_kind":"arxiv","source_id":"1709.02346","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a1x4YMBzRvQ/e37eHkrziz1mtr8eiUYlabkPWHnv5EjfYDJ+5AXN1SZz1+ktd9H7FFEfEkOtsYRlgBTz4gQMDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:55:26.683615Z"},"content_sha256":"145c4f06850466279a60b36dca6e2487bb985ba4d5622c8be21514cb54baa5a4","schema_version":"1.0","event_id":"sha256:145c4f06850466279a60b36dca6e2487bb985ba4d5622c8be21514cb54baa5a4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5ITC365LLJQINO4BPHP3CLNBT5","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T00:35:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2kFZ8kITJsGhonHOx9ZrxzpIn0lHXcaazEskDL7yA3ITt/geyUseKxywPs7jRkkrSErBayBKfQfaeYsg9HqkAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T06:55:26.683954Z"},"content_sha256":"ec9b0e0b49fb3d591fe8397f22f7a67e7c04d6e33a74ca0e7a1e075c2ff38f9b","schema_version":"1.0","event_id":"sha256:ec9b0e0b49fb3d591fe8397f22f7a67e7c04d6e33a74ca0e7a1e075c2ff38f9b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/bundle.json","state_url":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5ITC365LLJQINO4BPHP3CLNBT5/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-25T06:55:26Z","links":{"resolver":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5","bundle":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/bundle.json","state":"https://pith.science/pith/5ITC365LLJQINO4BPHP3CLNBT5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5ITC365LLJQINO4BPHP3CLNBT5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5ITC365LLJQINO4BPHP3CLNBT5","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"786d9f34d02c8bc710918504ea2b8a85350cd3f494b8bc5bdbcba2cc3c704cc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-31T13:01:13Z","title_canon_sha256":"87510b6856538ce82e83a4c8d9f5a73d1cb4dc522aa33a31214114258b316b3d"},"schema_version":"1.0","source":{"id":"1709.02346","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.02346","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"arxiv_version","alias_value":"1709.02346v1","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.02346","created_at":"2026-05-18T00:35:49Z"},{"alias_kind":"pith_short_12","alias_value":"5ITC365LLJQI","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5ITC365LLJQINO4B","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5ITC365L","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:ec9b0e0b49fb3d591fe8397f22f7a67e7c04d6e33a74ca0e7a1e075c2ff38f9b","target":"graph","created_at":"2026-05-18T00:35:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","authors_text":"Ian Cassar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-31T13:01:13Z","title":"Towards Runtime Adaptation of Actor Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.02346","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:145c4f06850466279a60b36dca6e2487bb985ba4d5622c8be21514cb54baa5a4","target":"record","created_at":"2026-05-18T00:35:49Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"786d9f34d02c8bc710918504ea2b8a85350cd3f494b8bc5bdbcba2cc3c704cc7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-31T13:01:13Z","title_canon_sha256":"87510b6856538ce82e83a4c8d9f5a73d1cb4dc522aa33a31214114258b316b3d"},"schema_version":"1.0","source":{"id":"1709.02346","kind":"arxiv","version":1}},"canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ea262dfbab5a6086bb8179dfb12da19f7d5972525c227ab53bb5d885d666cacb","first_computed_at":"2026-05-18T00:35:49.433173Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:49.433173Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZTHloPAtjUx9suQeC++FvsujbJivup4UZkvFMH4irnWkS3IYnVr6uo89Hnl3u4XfiDOn2QAU6vWBUjgTfaMoBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:49.433935Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.02346","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:145c4f06850466279a60b36dca6e2487bb985ba4d5622c8be21514cb54baa5a4","sha256:ec9b0e0b49fb3d591fe8397f22f7a67e7c04d6e33a74ca0e7a1e075c2ff38f9b"],"state_sha256":"e1105c8f68dea3416daf60464e5a7d12eac24d28f0e520b42699a6b68a50d90b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"venPcwLRiRBI57YD4eOhrxKzgZ/J4bGr1pTJaX1TjkIt3JN9Ry1eVi51rLrc2n63zhuBiezhDrFErzKjpduvDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T06:55:26.685898Z","bundle_sha256":"fdcd5779e856ec09982eb6329e38e195ed532aa948c3aa0def12c416424a94ba"}}