Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Johanna Beate Stumpf
Joint Papers
Assumption-Commitment Types for Resource Management in Virtually Timed Ambients
Checking Modal Contracts for Virtually Timed Ambients
Resource-Aware Virtually Timed Ambients
Virtually timed ambients: A calculus of nested virtualization
A Calculus of Virtually Timed Ambients
Cite
×