Modélisation de l'exécution de programmes dans les langages de coordination au moyen de réseaux de Petri

  • Olivier Vandorpe

    Student thesis: Master types › Master in Computer science

    Date of Award2009
    Original languageFrench
    Awarding Institution
    • University of Namur
    SupervisorJean-Marie Jacquet (Supervisor)

    Cite this

    '