Paper accepted at FM 2018

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 FLoC 2018, the Federated Logic Conference, from July 15th to 17th in Oxford.