The paper Deadlock Detection for Actor-based Coroutines by Keyvan Azadbakht, Frank De Boer and Erik de Vink has been accepted for presentation at FM 2018. The Formal Methods symposium will be held as part of …continue reading