r-Pomset pour la modélisation et la vérification de systèmes parallèles. (r-Pomset for modelling and verifying parallel systems). - Mouhamadou Tafsir Sakho (2014)

Modeling Concurrent Behaviors as Words. - Yohan Boichut; Jean-Michel Couvreur; Xavier Ferry; Mohamadou Tafsir Sakho (VECoS, 2019)