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

  • Frumence Mayala Lusilabo mfumua'Nsi

Student thesis: DEA types › DEA in Computer Science

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

Cite this

Documents

'