The following publications are possibly variants of this publication:
- A Calculus of Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. WADT 2017: 88-103 [doi]
- Resource-Aware Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. IFM 2018: 194-213 [doi]
- Assumption-Commitment Types for Resource Management in Virtually Timed AmbientsEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. ISoLA 2020: 103-121 [doi]
- Virtually timed ambients: A calculus of nested virtualizationEinar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. jlp, 94:109-127, 2018. [doi]