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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.