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.
Subscribe If you’d like to know more, watch this space for an upcoming write-up about the π‑calculus
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.
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.