Optimal Message-Driven Implementation of Omega with Mute Processes

Martin Biely, Josef Widder. Optimal Message-Driven Implementation of Omega with Mute Processes. In Ajoy Kumar Datta, Maria Gradinariu, editors, Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings. Volume 4280 of Lecture Notes in Computer Science, pages 110-121, Springer, 2006. [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