1. Concurrence
   1. nécessaire
      1. matériel parallèle
      2. performances
      3. flexibilité
   2. problèmes
      1. non déterminisme
      2. conditions de courses
      3. interblocage
      4. famine
   3. primitives classiques
      1. processus
         1. communication par messages
      2. threads
         1. communication par mémoire partagée
      3. synchronisation
         1. attente active
         2. événements
         3. sémaphores
         4. messages
         5. appels de procédures à distance
      4. contrôle
         1. sections critiques conditionnelles
         2. moniteurs
         3. rendez-vous
2. Modèles formels
   1. le modèle des acteurs
      1. en réponse à un message, un acteur peut
         1. envoyer un nombre fini de messages à des acteurs
         2. créer un nombre fini de nouveaux acteurs
         3. désigner le comportement à utiliser pour le prochain message qu'il recevra
      2. langages de programmation
         1. erlang
         2. scala
   2. calculs de processus
      1. communication par canaux nommés
         1. pas de variables globales
         2. messages
         3. synchones ou asynchrones
         4. FIFO
      2. quelques primitives élémentaires
         1. grande variété
         2. composition
            1. séquentielle
            2. parallèle
      3. variantes
         1. Pi-calculus
            1. Pict
            2. variantes stochastiques
         2. Join-calculus
            1. JoCaml
3. Fondements du Join-Calculus
   1. localité
      1. découplage
         1. transmission
         2. synchronisation
      2. pour permettre
         1. distribution
         2. mobilité
   2. processus
      1. asynchrones
         1. s'exécutent en concurrence
         2. ne produisent aucun résultat
      2. ou synchrones
         1. ~ appels de fonctions
   3. canaux
      1. eqv à noms de ports
      2. définition conjointe des
         1. canaux
         2. et processus les écoutant
            1. lancés à chaque message sur ces canaux
   4. définition par filtrage de motifs à la ML
      1. seule primitive de synchonisation
      2. état reste dans processus
   5. sémantique
      1. machine chimique abstraite réactive
4. implémentation
   1. JoCaml