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]

Abstract

Abstract is missing.