Calculabilité et expressivité dans l'algèbre de processus parallèles Meije / Robert
de Simone [thèse]
https://www-sop.inria.fr/members/Robert.De_Simone/, 2025-07-04
Information trouvée : Informaticien. Directeur de recherche INRIA, responsable de l'équipe-projet INRIA
Kairos, laboratoire d'Informatique, signaux, et systèmes de Sophia Antipolis (I3S,
UMR 7271), Université Côte d'Azur