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