Virtually timed ambients: A calculus of nested virtualization

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf. Virtually timed ambients: A calculus of nested virtualization. Journal of Logic and Algebraic Programming, 94:109-127, 2018. [doi]

Authors

Einar Broch Johnsen

This author has not been identified. Look up 'Einar Broch Johnsen' in Google

Martin Steffen

This author has not been identified. Look up 'Martin Steffen' in Google

Johanna Beate Stumpf

This author has not been identified. Look up 'Johanna Beate Stumpf' in Google