Optimal message-driven implementations of omega with mute processes

Martin Biely, Josef Widder. Optimal message-driven implementations of omega with mute processes. TAAS, 4(1), 2009. [doi]

Abstract

Abstract is missing.