Self-stabilizing Deadlock Detection Under the OR Requirement Model

Christian F. Orellana, Cristian Ruz, Yadran Eterovic. Self-stabilizing Deadlock Detection Under the OR Requirement Model. In Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner, editors, Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings. Volume 4128 of Lecture Notes in Computer Science, pages 559-570, Springer, 2006. [doi]

Abstract

Abstract is missing.