The following pages link to Johanna Beate Stumpf (Q1623137):
Displayed 4 items.
- Checking modal contracts for virtually timed ambients (Q1623139) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- The expressive power of modal logic with inclusion atoms (Q5013883) (← links)
- A Calculus of Virtually Timed Ambients (Q5208501) (← links)