Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf

Browse the full ISoLA paper archive.