FUNDP-INFO-3107 -- J.-M. Jacquet -- 30-0-0 -- Cours de 3ème cycle
Les langages CSP, CCS, LOTOS sont connus comme les langages abstraits à la base de l'étude de systèmes concurrents communiquants. En particulier, R. Milner, qui a initié cette recherche, a voulu mettre en évidence une description abstraite des mécanismes fondamentaux de la concurrence ainsi qu'un calcul pour raisonner sur les programmes concurrents. A sa suite, s'est developpée une approche algébraico-axiomatique de la théorie de la concurrence, connue sous le nom d'algèbre de processus (Process Algebra). Le but de ce cours est d'étudier les techniques et les concepts qui sous-tendent ces algèbres ainsi que de les exemplifier au travers de l'étude de langages ou de fragments de langages.
Le cours proposé pourrait s'articuler comme suit:
