Ce livre se place dans le cadre de la modelisation et de l'analyse de systemes paralleles et repartis. Plus precisement, il s'interesse a la modelisation, la verification et la supervision de systemes composes d'entites independantes interagissant localement par memoire partagee et globalement par echange asynchrone de messages. Dans ce contexte, plutot que de modeliser separement chaque entite, puis d'analyser les comportements qui peuvent se produire lorsque ces entites interagissent, ce livre fournit une theorie permettant de modeliser globalement le systeme considere tout en conservant des proprietes de verification et de supervision decidables. Cette theorie se base sur le formalisme des ordres partiels etiquetes, appeles "pomsets.""