Multi-threading.

Dans un langage de programmation comme JAVA, des processus parallèles (appelés threads) peuvent être créés dynamiquement et de manière non bornée. Le nombre de processus parallèles à l'exécution peut donc être arbitrairement grand. En outre, ce nombre peut changer dynamiquement au cours de l'exécution et ce en fonction des données et/ou du comportement temporel du programme.

Par ailleurs, les processus parallèles peuvent se synchroniser et communiquer entre eux selon différents schémas (variables partagées, rendez-vous, broadcast, etc.). Par exemple, en JAVA, ceci se concrétise au moyen des primitives synchronize, wait, notify et notifyAll. Les objets sur lesquelles elles s'appliquent peuvent aussi être créés dynamiquement. Leur nombre peut donc devenir arbitrairement grand.