Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems

In the world we live in concurrency is the norm. For example, the human body is a massively concurrent system, comprising a huge number of cells, all sim- taneously evolving and independently engaging in their individual biological processing. In addition, in the biological world, truly sequential systems rarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simpl...