@phdthesis{sakho:tel-01298527, TITLE = {{⌈-Pomset pour la mod{\'e}lisation et la v{\'e}rification de syst{\`e}mes parall{\`e}les}}, AUTHOR = {Sakho, Mouhamadou Tafsir}, URL = {https://theses.hal.science/tel-01298527}, NUMBER = {2014ORLE2068}, SCHOOL = {{Universit{\'e} d'Orl{\'e}ans ; Universit{\'e} polytechnique de l'Ouest Africain (Dakar, S{\'e}n{\'e}gal)}}, YEAR = {2014}, MONTH = Dec, KEYWORDS = {Pomset ; Model-checking ; Satisfiability ; Trace ; Pomset ; Model-checking ; Satisfiabilit{\'e} ; Traces}, TYPE = {Theses}, PDF = {https://theses.hal.science/tel-01298527/file/mouhamadou-sakho_3339_vm.pdf}, HAL_ID = {tel-01298527}, HAL_VERSION = {v1}, }