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]

Authors

Martin Biely

This author has not been identified. Look up 'Martin Biely' in Google

Josef Widder

This author has not been identified. Look up 'Josef Widder' in Google