Martin Biely Josef Widder Optimal message-driven implementations of omega with mute processes. 2009 4 TAAS 1 http://doi.acm.org/10.1145/1462187.1462191 db/journals/taas/taas4.html#BielyW09