Andreas Glausch, Wolfgang Reisig. An ASM-Characterization of a Class of Distributed Algorithms. In Jean-Raymond Abrial, Uwe Glässer, editors, Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Volume 5115 of Lecture Notes in Computer Science, pages 50-64, Springer, 2009. [doi]
Abstract is missing.