Cours INF8440 – Modèles informatiques de la concurrence et du parallélisme

Modèles matériels: monoprocesseurs à changement de contexte (concurrence), monoprocesseurs vectoriels, multiprocesseurs en matrice et en arborescences, architectures mixtes, etc. Modèles logiciels: sémaphores, moniteur, processus séquentiels concurrents, etc. Modèles mathématiques: réseaux de Pétri, monoïdes partiellement commutatifs, réseaux systoliques, SIMD, MIMD, etc.