Assumption-Commitment Types for Resource Management in Virtually Timed Ambients

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

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 t…