Mouhamadou Tafsir Sakho

According to our database, Mouhamadou Tafsir Sakho authored at least 2 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Modeling Concurrent Behaviors as Words.

Yohan Boichut, Jean-Michel Couvreur, Xavier Ferry, Mohamadou Tafsir Sakho

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2019

2014

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

PhD thesis, 2014