{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:F3OWHPJVADGUD45QOFTSXZDF3V","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":"cc2e403399655b3cf067a17c68fd6a341e291b69ff173f9e43970a19afb8cdfe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-22T13:26:44Z","title_canon_sha256":"8f3dcb4f16419f27c5b2e21083ce5cdd77a758dac1d0ccf131bf7efcfcf25ff6"},"schema_version":"1.0","source":{"id":"1806.08653","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.08653","created_at":"2026-05-17T23:48:45Z"},{"alias_kind":"arxiv_version","alias_value":"1806.08653v2","created_at":"2026-05-17T23:48:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.08653","created_at":"2026-05-17T23:48:45Z"},{"alias_kind":"pith_short_12","alias_value":"F3OWHPJVADGU","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F3OWHPJVADGUD45Q","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F3OWHPJV","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:bf69d4cf0f64a09ca2ed467e01b9d1d2ab97bed7ce031925813c17eda152a18d","target":"graph","created_at":"2026-05-17T23:48:45Z","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":"This paper introduces a type system for resource management in the context of nested virtualization. With nested virtualization, virtual machines compete with other processes for the resources of their host environment in order to provision their own processes, which could again be virtual machines. The calculus of virtually timed ambients formalizes such resource provisioning, extending the capabilities of mobile ambients to model the dynamic creation, migration, and destruction of virtual machines. The proposed type system uses assumptions about the outside of a virtually timed ambient to gu","authors_text":"Einar Broch Johnsen, Johanna Beate Stumpf, Martin Steffen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-22T13:26:44Z","title":"Assumption-Commitment Types for Resource Management in Virtually Timed Ambients"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.08653","kind":"arxiv","version":2},"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:7375abb2991bf0922f5fc5413bfaa0035a3054c3e6afb40fde9fff5e6bcbb4ab","target":"record","created_at":"2026-05-17T23:48:45Z","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":"cc2e403399655b3cf067a17c68fd6a341e291b69ff173f9e43970a19afb8cdfe","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-06-22T13:26:44Z","title_canon_sha256":"8f3dcb4f16419f27c5b2e21083ce5cdd77a758dac1d0ccf131bf7efcfcf25ff6"},"schema_version":"1.0","source":{"id":"1806.08653","kind":"arxiv","version":2}},"canonical_sha256":"2edd63bd3500cd41f3b071672be465dd4b65b4a687f09e12621490d499f367d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2edd63bd3500cd41f3b071672be465dd4b65b4a687f09e12621490d499f367d0","first_computed_at":"2026-05-17T23:48:45.750507Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:45.750507Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VSKNPFxYi9TGJuXRkQ0dTm8lEyFtjt/DPf7tew8+xjKXAvu7jHopNzlG5pUHRtDagE7D4UWewfZJjR7C/hkICA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:45.750944Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.08653","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7375abb2991bf0922f5fc5413bfaa0035a3054c3e6afb40fde9fff5e6bcbb4ab","sha256:bf69d4cf0f64a09ca2ed467e01b9d1d2ab97bed7ce031925813c17eda152a18d"],"state_sha256":"8e41baa856c63128a8d49f3f8247e83fe62acfe3f0f21f1dba4a19dff234eb3e"}