Sémantique et vérification de langages de coordination par les réseaux de Petri

Student thesis: DEA typesDEA in Computer Science

Abstract

Date of Award2005
Original languageFrench
SupervisorJean-Marie Jacquet (Supervisor)

Cite this

Sémantique et vérification de langages de coordination par les réseaux de Petri
Mayala Lusilabo mfumua'Nsi, F. (Author). 2005

Student thesis: DEA typesDEA in Computer Science