Related Experiment Video
Updated: Aug 15, 2026

A Visual Guide for Studying Behavioral Defenses to Pathogen Attacks in Leaf-Cutting Ants
Published on: October 12, 2018
Ants and agents: a process algebra approach to modelling ant colony behaviour
D J Sumpter1, G B Blanchard, D S Broomhead
1Centre for Mathematical Biology, Mathematical Institute, 24-29 St Giles', Oxford OX1 3LB, U.K. sumpter@maths.ox.ac.uk
Abstract:
Process algebras are widely used in the analysis of distributed computer systems. They allow formal reasoning about how the various components of a system contribute to its overall behaviour. In this paper we show how process algebras can be usefully applied to understanding social insect biology, in particular to studying the relationship between algorithmic behaviour of individual insects and the dynamical behaviour of their colony. We argue that process algebras provide a useful formalism for understanding this relationship, since they combine computer simulation, Markov chain analysis and mean-field methods of analysis. Indeed, process algebras can provide a framework for relating these three methods of analysis to each other and to experiments. We illustrate our approach with a series of graded examples of modelling activity in ant colonies.
Related Concept Videos
Biot-Savart Law: Problem-Solving
Consider a mobile phone battery bank as a source of steady current, which flows through the wire connected between the two. What is the magnitude of the magnetic field created by this current at a field point P?
To estimate the magnitude of the total magnetic field, we first consider a small current element of length dl, at a distance r from the field point. Now the following...
Principle of Moments: Problem Solving
One such scenario involves a pole placed in a three-dimensional system with a cable attached. When a tension is applied to the cable, the moment about the z-axis passing through...
Mechanistic Models: Overview of Compartment Models
Mechanistic Models: Compartment Models in Individual and Population Analysis
Mechanistic Models: Compartment Models in Algorithms for Numerical Problem Solving
In individual population analyses, different algorithms are employed, such as Cauchy's method, which uses a...
Mathematical Modeling: Problem Solving

