Une nouvelle approche mathématique dans l'étude de parallélisme et de la communication dont on trouve l'application dans la spécification, la conception et la mise en oeuvre de systèmes informatiques qui interragissent en permanence avec leur environnement.