Document RAIRO-Theor. Inf. Appl. 42, 55-68 (2008)
DOI: 10.1051/ita:2007051
An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem
Jean-Baptiste YunèsLIAFA, Université Paris 7 Denis Diderot, 175 rue du chevaleret, 75013 Paris, France; Jean-Baptiste.Yunes@liafa.jussieu.fr
(Published online: 18 January 2008)
Abstract
Here is presented a 6-states non minimal-time solution which is intrinsically Minsky-like and solves the three following problems: unrestricted version on a line, with one initiator at each end of a line and the problem on a ring. We also give a complete proof of correctness of our solution, which was never done in a publication for Minsky's solutions.
Mathematics Subject Classification. 65Y05, 68Q25, 68Q80, 68W10
Key words: Firing squad -- synchronization
© EDP Sciences 2007