Reactive Async: expressive deterministic concurrency. - Philipp Haller; Simon Geries; Michael Eichberg; Guido Salvaneschi (SCALA@SPLASH, 2016)