On Stabilization in Herman s Algorithm

Stefan Kiefer, Andrzej S. Murawski, Joël Ouaknine, James Worrell, Lijun Zhang. On Stabilization in Herman s Algorithm. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 466-477, Springer, 2011. [doi]

Authors

Stefan Kiefer

This author has not been identified. Look up 'Stefan Kiefer' in Google

Andrzej S. Murawski

This author has not been identified. Look up 'Andrzej S. Murawski' in Google

Joël Ouaknine

This author has not been identified. Look up 'Joël Ouaknine' in Google

James Worrell

This author has not been identified. Look up 'James Worrell' in Google

Lijun Zhang

This author has not been identified. It may be one of the following persons: Look up 'Lijun Zhang' in Google