The Autosynchronisation of Leptothorax Acervorum (Fabricius) Described in WSCCS

Chris Tofts

Abstract: We present an introduction to the calculus WSCCS. The calculus is then used to study a probabilistic synchronisation algorithm; which may underly the synchronous behaviour of a particular species of ant. We demonstrate that the cyclicity is stable and that the system must eventually synchronise. We present several estimates of how long it will take such a system to synchronise. The stability of the algorithm to some forms of error is discussed, and we present a derived algorithm which has a high tolerance of error. Some experimental results are reported, which show that our explanation may be a reasonably accurate account of the interactions underlying the biological phenomena.

LFCS report ECS-LFCS-90-128

This report is not available on-line.

Previous | Index | Next