Marte Arnestad

Joint Papers

• Combining Active and Reactive Behavior in Concurrent Systems