An ASM-Characterization of a Class of Distributed Algorithms

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]

Authors

Andreas Glausch

This author has not been identified. Look up 'Andreas Glausch' in Google

Wolfgang Reisig

This author has not been identified. Look up 'Wolfgang Reisig' in Google