So nice of you to ask! What you are looking at is an example of the systems we study in Concurrency Theory. In short, it is an example of a mathematical formalisation of a simple internet protocol; the aim of our research is to design algorithms that can prove properties of these kinds of models.
The simulation on the homepage is running a fixed program modelling a server/client system. The orange boxes are the clients, the blue ones are servers; the green boxes are messages to the server (dark) or to the clients (light).
More precisely, the displayed animation is a visual simulation of the evolution of a π‑calculus program. The boxes are sequential processes, i.e. threads, and the dots are names, i.e. channels.
You can try the simulator and experiment with the π‑calculus by clicking here:
Subscribe If you’d like to know more, watch this space for an upcoming write-up about the π‑calculus