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.
This report is not available on-line.Previous | Index | Next