Correction, Optimization and Verification of Transition Rule Set for Waksman s Firing Squad Synchronization Algorithm

Hiroshi Umeo, Takashi Sogabe, Yukihiro Nomura. Correction, Optimization and Verification of Transition Rule Set for Waksman s Firing Squad Synchronization Algorithm. In Stefania Bandini, Thomas Worsch, editors, Theoretical and Practical Issues on Cellular Automata, Proceedings of the Fourth International Conference on Cellular Automata for Research and Industry, Karlsruhe, 4-6 October 2000. pages 152-160, Springer, 2000.

Abstract

Abstract is missing.