What’s the problem? interrogating actors to identify the root cause of concurrency bugs
Carmen Torres Lopez, Louise Van Verre, Elisa Gonzalez Boix · 2021
Programs written using Communicating Event-Loops (CEL) concurrency model do not suffer from low-level data races by design but are not exempt from other concurrency bugs, such as behavioral deadlocks and message order violations.