Knowledge Tree

researcher / David Janin

David Janin

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Propriétés logiques du non déterminisme et μ-calcul modal

Directed Thesis:

Développement de la programmation par tuilage pour les systèmes multimédias interactifs

Contribution à la théorie des langages de tuiles

Jeux discrets pour la synthèse et la validation de processus communicants