1. 2014-05-21 [1] [e-lang] Establishing data race and deadlock freedom for communicating e e-lang Tom Van Cutsem