TY  - RPRT
TI  - Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
AU  - Einar Broch Johnsen
AU  - Martin Steffen
AU  - Johanna Beate Stumpf
PY  - 2019
UR  - https://arxiv.org/abs/1806.08653
ID  - 1806.08653
ER  -